Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Smart things are rough. If something is nice then it is green. All smart, green things are young. All rough, quiet things are green. Quiet things are blue. If something is quiet and green then it is smart. If something is young then it is quiet. Smart, nice things are green.
Dave is not rough.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule5))] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule1))] Gary is blue.[(triple5 OR ((triple8) -> rule5) OR ((((triple10) -> rule7)) -> rule5))] Gary is green.[(triple6 OR ((triple7) -> rule2) OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple10) -> rule7)) -> rule4))] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple10) -> rule7))] Gary is rough.[(triple9 OR ((((triple8 triple6) -> rule6)) -> rule1) OR ((((triple8 ((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple10) -> rule7) triple6) -> rule6)) -> rule1) OR ((((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6)) -> rule1))] Gary is young.[(triple10 OR ((((triple8 triple6) -> rule6) triple6) -> rule3) OR ((((triple8 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 triple6) -> rule6) ((triple9 triple8) -> rule4)) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) triple6) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) ((triple9 triple8) -> rule4)) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) ((triple9 triple8) -> rule4)) -> rule3))] @1: Dave is green.[(((triple2) -> rule2) OR ((triple4 triple3) -> rule4))] Gary is smart.[(((triple8 triple6) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple10) -> rule7) triple6) -> rule6) OR ((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple8 ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6) OR ((((triple10) -> rule7) ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6))] @2: Dave is smart.[(((triple3 ((triple2) -> rule2)) -> rule6) OR ((triple3 ((triple4 triple3) -> rule4)) -> rule6))] @3: Dave is young.[(((((triple3 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3))]