Gary is big. Gary is red. Gary is young. If Gary is kind and Gary is young then Gary is rough. If something is kind then it is nice. Young things are kind. Rough, smart things are big. All smart things are rough. All rough, big things are red. Red, big things are smart. Red things are big.
Gary is big.
@0: Gary is big.[(triple1 OR ((triple2) -> rule8))] Gary is red.[(triple2 OR ((((((triple3) -> rule3) triple3) -> rule1) triple1) -> rule6))] Gary is young.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))] Gary is smart.[(((triple2 triple1) -> rule7) OR ((triple2 ((triple2) -> rule8)) -> rule7) OR ((((((((triple3) -> rule3) triple3) -> rule1) triple1) -> rule6) triple1) -> rule7) OR ((((((((triple3) -> rule3) triple3) -> rule1) triple1) -> rule6) ((triple2) -> rule8)) -> rule7))] @2: Gary is nice.[(((((triple3) -> rule3)) -> rule2))] Gary is rough.[(((((triple2 triple1) -> rule7)) -> rule5) OR ((((triple3) -> rule3) triple3) -> rule1) OR ((((triple2 ((triple2) -> rule8)) -> rule7)) -> rule5))]