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