Gary is big. Gary is nice. Gary is smart. All kind things are quiet. If something is red and cold then it is kind. If something is red then it is big. If Gary is red and Gary is big then Gary is kind. Smart things are red. Big, smart things are cold. All red things are nice. If something is big then it is nice.
Gary is quiet.
@0: Gary is big.[(triple1 OR ((((triple3) -> rule5)) -> rule3))] Gary is nice.[(triple2 OR ((triple1) -> rule8) OR ((((triple3) -> rule5)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3)) -> rule8))] Gary is smart.[(triple3)] @1: Gary is cold.[(((triple1 triple3) -> rule6) OR ((((((triple3) -> rule5)) -> rule3) triple3) -> rule6))] Gary is red.[(((triple3) -> rule5))] @2: Gary is kind.[(((((triple3) -> rule5) triple1) -> rule4) OR ((((triple3) -> rule5) ((triple1 triple3) -> rule6)) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule4) OR ((((triple3) -> rule5) ((((((triple3) -> rule5)) -> rule3) triple3) -> rule6)) -> rule2))] @3: Gary is quiet.[(((((((triple3) -> rule5) triple1) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple1 triple3) -> rule6)) -> rule2)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((((((triple3) -> rule5)) -> rule3) triple3) -> rule6)) -> rule2)) -> rule1))]