Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. All rough things are quiet. All rough, blue things are nice. All big, quiet things are red. Blue things are quiet. All smart things are quiet. If something is nice and smart then it is blue.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3 triple7) -> rule6))] Gary is nice.[(triple3 OR ((triple6 triple2) -> rule2))] Gary is quiet.[(triple4 OR ((triple2) -> rule4) OR ((triple6) -> rule1) OR ((triple7) -> rule5) OR ((((triple3 triple7) -> rule6)) -> rule4))] Gary is red.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple1 ((triple2) -> rule4)) -> rule3) OR ((triple1 ((triple6) -> rule1)) -> rule3) OR ((triple1 ((triple7) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple7) -> rule6)) -> rule4)) -> rule3))] Gary is rough.[(triple6)] Gary is smart.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple10 triple14) -> rule6))] Harry is nice.[(triple10 OR ((triple13 triple9) -> rule2))] Harry is quiet.[(triple11 OR ((triple13) -> rule1) OR ((triple14) -> rule5) OR ((triple9) -> rule4) OR ((((triple10 triple14) -> rule6)) -> rule4))] Harry is red.[(triple12 OR ((triple8 triple11) -> rule3) OR ((triple8 ((triple13) -> rule1)) -> rule3) OR ((triple8 ((triple14) -> rule5)) -> rule3) OR ((triple8 ((triple9) -> rule4)) -> rule3) OR ((triple8 ((((triple10 triple14) -> rule6)) -> rule4)) -> rule3))] Harry is rough.[(triple13)] Harry is smart.[(triple14)]