Dave is big. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Harry is nice. Harry is quiet. Harry is rough. If something is rough then it is smart. All big things are rough. Rough, smart things are round. All round things are red. All rough, round things are quiet. Quiet things are big.
Harry is red.
@0: Dave is big.[(triple1 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule5)) -> rule6) OR ((((triple4 ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Dave is quiet.[(triple2 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple4 triple6) -> rule3)) -> rule5) OR ((((triple1) -> rule2) triple5) -> rule5) OR ((((triple1) -> rule2) ((triple4 triple6) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) triple6) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) triple6) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5))] Dave is red.[(triple3 OR ((triple5) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) triple6) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) triple6) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple4 ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))] Dave is rough.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Dave is round.[(triple5 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3) OR ((((triple1) -> rule2) triple6) -> rule3) OR ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) triple6) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple1) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Dave is smart.[(triple6 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple2) -> rule6)) -> rule2)) -> rule1))] Gary is big.[(triple7 OR ((triple9) -> rule6) OR ((((triple11 triple12) -> rule5)) -> rule6) OR ((((triple11 ((triple11 triple13) -> rule3)) -> rule5)) -> rule6) OR ((((triple11 ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Gary is nice.[(triple8)] Gary is quiet.[(triple9 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11 triple13) -> rule3)) -> rule5) OR ((((triple7) -> rule2) triple12) -> rule5) OR ((((triple7) -> rule2) ((triple11 triple13) -> rule3)) -> rule5) OR ((triple11 ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) triple13) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple13) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5))] Gary is red.[(triple10 OR ((triple12) -> rule4) OR ((((triple11 triple13) -> rule3)) -> rule4) OR ((((triple11 ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) triple13) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple13) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))] Gary is rough.[(triple11 OR ((triple7) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Gary is round.[(triple12 OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple11) -> rule1)) -> rule3) OR ((((triple7) -> rule2) triple13) -> rule3) OR ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3) OR ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) triple13) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((triple11) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((triple11 ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple7) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Gary is smart.[(triple13 OR ((triple11) -> rule1) OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2)) -> rule1))] Harry is nice.[(triple14)] Harry is quiet.[(triple15 OR ((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5))] Harry is rough.[(triple16 OR ((((triple15) -> rule6)) -> rule2))] @1: Harry is big.[(((triple15) -> rule6) OR ((((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Harry is smart.[(((triple16) -> rule1) OR ((((((triple15) -> rule6)) -> rule2)) -> rule1))] @2: Harry is round.[(((triple16 ((triple16) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3) OR ((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @3: Harry is red.[(((((triple16 ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))]