Anne is blue. Anne is furry. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is young. Dave is furry. Dave is round. Dave is smart. Dave is young. If someone is nice and smart then they are round. If someone is furry then they are smart.
Dave is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple2) -> rule2)) -> rule1))] Anne is smart.[(triple6 OR ((triple2) -> rule2))] Anne is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is rough.[(triple10)] Charlie is young.[(triple11)] Dave is furry.[(triple12)] Dave is round.[(triple13)] Dave is smart.[(triple14 OR ((triple12) -> rule2))] Dave is young.[(triple15)] @1: Charlie is smart.[(((triple8) -> rule2))] @2: Charlie is round.[(((triple9 ((triple8) -> rule2)) -> rule1))]