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