Gary is big. Gary is cold. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. Round people are big. Young, cold people are round. If someone is big then they are rough. If Gary is young then Gary is kind. All kind people are rough. Young, rough people are kind.
Gary is round.
@0: Gary is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple7 triple2) -> rule2)) -> rule1))] Gary is cold.[(triple2)] Gary is kind.[(triple3 OR ((triple7) -> rule4) OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple1) -> rule3)) -> rule6) OR ((triple7 ((((triple5) -> rule1)) -> rule3)) -> rule6) OR ((triple7 ((((((triple7 triple2) -> rule2)) -> rule1)) -> rule3)) -> rule6))] Gary is rough.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule5) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple7) -> rule4)) -> rule5) OR ((((((triple7 triple2) -> rule2)) -> rule1)) -> rule3))] Gary is round.[(triple5 OR ((triple7 triple2) -> rule2))] Gary is white.[(triple6)] Gary is young.[(triple7)]