Charlie is furry. Dave is young. Fiona is cold. Young, rough things are furry. All young things are white. If something is white then it is furry. Young, furry things are kind. If Charlie is young and Charlie is furry then Charlie is rough. All young things are rough. All young, kind things are cold. If something is rough and white then it is round.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Dave is young.[(triple2)] Fiona is cold.[(triple3)] @1: Dave is rough.[(((triple2) -> rule6))] Dave is white.[(((triple2) -> rule2))] @2: Dave is furry.[(((((triple2) -> rule2)) -> rule3) OR ((triple2 ((triple2) -> rule6)) -> rule1))] Dave is round.[(((((triple2) -> rule6) ((triple2) -> rule2)) -> rule8))] @3: Dave is kind.[(((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule4))] @4: Dave is cold.[(((triple2 ((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule7) OR ((triple2 ((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule4)) -> rule7))]