Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is white. All white things are rough. Blue things are nice. If Gary is blue and Gary is rough then Gary is white. All round, nice things are kind. All rough, blue things are nice. All nice things are kind. Big things are rough. If Gary is big and Gary is blue then Gary is nice.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple6 triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule5)) -> rule6) OR ((triple6 ((triple2) -> rule2)) -> rule4) OR ((triple6 ((triple1 triple2) -> rule8)) -> rule4) OR ((triple6 ((triple5 triple2) -> rule5)) -> rule4) OR ((((((triple1) -> rule7) triple2) -> rule5)) -> rule6) OR ((((((triple7) -> rule1) triple2) -> rule5)) -> rule6) OR ((triple6 ((((triple1) -> rule7) triple2) -> rule5)) -> rule4) OR ((triple6 ((((triple7) -> rule1) triple2) -> rule5)) -> rule4))] Gary is nice.[(triple4 OR ((triple2) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple5 triple2) -> rule5) OR ((((triple1) -> rule7) triple2) -> rule5) OR ((((triple7) -> rule1) triple2) -> rule5))] Gary is rough.[(triple5 OR ((triple1) -> rule7) OR ((triple7) -> rule1))] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple1) -> rule7)) -> rule3))]