Dave is big. Fiona is young. Gary is furry. Harry is big. Harry is furry. Harry is rough. Harry is smart. If someone is furry then they are green. All smart, big people are kind. If someone is young then they are furry. All green, big people are kind. If Harry is young and Harry is big then Harry is kind. If Fiona is furry and Fiona is young then Fiona is smart. If someone is furry then they are rough. Big, smart people are green.
Dave is smart.
@0: Dave is big.[(triple1)] Fiona is young.[(triple2)] Gary is furry.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5)] Harry is rough.[(triple6 OR ((triple5) -> rule7))] Harry is smart.[(triple7)] @1: Fiona is furry.[(((triple2) -> rule3))] Gary is green.[(((triple3) -> rule1))] Gary is rough.[(((triple3) -> rule7))] Harry is green.[(((triple5) -> rule1) OR ((triple4 triple7) -> rule8))] Harry is kind.[(((triple7 triple4) -> rule2) OR ((((triple5) -> rule1) triple4) -> rule4) OR ((((triple4 triple7) -> rule8) triple4) -> rule4))] @2: Fiona is green.[(((((triple2) -> rule3)) -> rule1))] Fiona is rough.[(((((triple2) -> rule3)) -> rule7))] Fiona is smart.[(((((triple2) -> rule3) triple2) -> rule6))]