Anne is big. Anne is green. Anne is nice. Anne is rough. Anne is round. Anne is smart. Dave is green. Dave is quiet. Gary is big. Gary is green. Gary is nice. Gary is round. Big things are round. If something is green then it is big. If something is quiet and smart then it is rough. If something is quiet then it is round. Rough, green things are nice. Round, green things are smart.
Dave is smart.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2))] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4 triple2) -> rule5))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is smart.[(triple6 OR ((triple5 triple2) -> rule6) OR ((((triple1) -> rule1) triple2) -> rule6) OR ((((((triple2) -> rule2)) -> rule1) triple2) -> rule6))] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Gary is big.[(triple9 OR ((triple10) -> rule2))] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] @1: Dave is big.[(((triple7) -> rule2))] Dave is round.[(((triple8) -> rule4) OR ((((triple7) -> rule2)) -> rule1))] Gary is smart.[(((triple12 triple10) -> rule6) OR ((((triple9) -> rule1) triple10) -> rule6) OR ((((((triple10) -> rule2)) -> rule1) triple10) -> rule6))] @2: Dave is smart.[(((((triple8) -> rule4) triple7) -> rule6) OR ((((((triple7) -> rule2)) -> rule1) triple7) -> rule6))] @3: Dave is rough.[(((triple8 ((((triple8) -> rule4) triple7) -> rule6)) -> rule3) OR ((triple8 ((((((triple7) -> rule2)) -> rule1) triple7) -> rule6)) -> rule3))] @4: Dave is nice.[(((((triple8 ((((triple8) -> rule4) triple7) -> rule6)) -> rule3) triple7) -> rule5) OR ((((triple8 ((((((triple7) -> rule2)) -> rule1) triple7) -> rule6)) -> rule3) triple7) -> rule5))]