Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Gary is green. Gary is kind. Gary is round. If someone is rough then they are kind. If Gary is green and Gary is young then Gary is kind. If someone is round then they are nice. Cold, nice people are round. Nice, young people are kind. If someone is kind and young then they are rough. Round, cold people are young. All nice people are cold.
Charlie is not round.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule1))] Charlie is rough.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6 OR ((triple5 ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((((triple7) -> rule3) ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule5))] Gary is round.[(triple7)] @1: Gary is nice.[(((triple7) -> rule3))] @2: Gary is cold.[(((((triple7) -> rule3)) -> rule8))] @3: Gary is young.[(((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7))] @4: Gary is rough.[(((triple6 ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((triple5 ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule2) ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule5) ((triple7 ((((triple7) -> rule3)) -> rule8)) -> rule7)) -> rule6))]