Dave is big. Dave is smart. Dave is young. Gary is big. Gary is nice. Gary is rough. Gary is young. If someone is big then they are nice. If Dave is smart then Dave is white. If Dave is white then Dave is quiet. If Dave is quiet and Dave is white then Dave is nice. If someone is young then they are nice. Smart, quiet people are nice. All rough people are big. Rough, nice people are young.
Dave is young.
@0: Dave is big.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Gary is big.[(triple4 OR ((triple6) -> rule7))] Gary is nice.[(triple5 OR ((triple4) -> rule1) OR ((triple7) -> rule5) OR ((((triple6) -> rule7)) -> rule1))] Gary is rough.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule8) OR ((triple6 ((triple4) -> rule1)) -> rule8) OR ((triple6 ((((triple6) -> rule7)) -> rule1)) -> rule8))] @1: Dave is nice.[(((triple1) -> rule1) OR ((triple3) -> rule5) OR ((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule4))] Dave is white.[(((triple2) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule2)) -> rule3))]