Dave is big. Dave is furry. Dave is rough. Dave is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Gary is kind. Gary is rough. Gary is smart. All kind things are round. If something is furry and smart then it is green. If Fiona is big then Fiona is round. If Fiona is smart and Fiona is furry then Fiona is big. Green things are round. Rough, green things are furry. If something is kind then it is furry. Rough things are smart.
Fiona is rough.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4 OR ((triple3) -> rule8))] Fiona is big.[(triple5 OR ((triple9 triple6) -> rule4))] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple6 triple9) -> rule2))] Fiona is round.[(triple8 OR ((triple5) -> rule3) OR ((triple7) -> rule5) OR ((((triple6 triple9) -> rule2)) -> rule5) OR ((((triple9 triple6) -> rule4)) -> rule3))] Fiona is smart.[(triple9)] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12 OR ((triple11) -> rule8))] @1: Dave is green.[(((triple2 triple4) -> rule2) OR ((triple2 ((triple3) -> rule8)) -> rule2))] Gary is furry.[(((triple10) -> rule7))] Gary is round.[(((triple10) -> rule1) OR ((((((triple10) -> rule7) triple12) -> rule2)) -> rule5) OR ((((((triple10) -> rule7) ((triple11) -> rule8)) -> rule2)) -> rule5))] @2: Dave is round.[(((((triple2 triple4) -> rule2)) -> rule5) OR ((((triple2 ((triple3) -> rule8)) -> rule2)) -> rule5))] Gary is green.[(((((triple10) -> rule7) triple12) -> rule2) OR ((((triple10) -> rule7) ((triple11) -> rule8)) -> rule2))]