Gary is kind. Gary is nice. Gary is white. All nice, young people are kind. All kind, nice people are white. If someone is cold and kind then they are nice. If someone is red then they are young. Cold people are white. All young people are cold. If someone is white then they are red. Kind people are nice.
Gary is kind.
@0: Gary is kind.[(triple1 OR ((triple2 ((((triple3) -> rule7)) -> rule4)) -> rule1))] Gary is nice.[(triple2 OR ((triple1) -> rule8) OR ((((((((triple3) -> rule7)) -> rule4)) -> rule6) triple1) -> rule3))] Gary is white.[(triple3 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple1) -> rule8)) -> rule2))] @1: Gary is red.[(((triple3) -> rule7) OR ((((triple1 triple2) -> rule2)) -> rule7) OR ((((triple1 ((triple1) -> rule8)) -> rule2)) -> rule7))] @2: Gary is young.[(((((triple3) -> rule7)) -> rule4) OR ((((((triple1 triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule8)) -> rule2)) -> rule7)) -> rule4))] @3: Gary is cold.[(((((((triple3) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple1 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple1 ((triple1) -> rule8)) -> rule2)) -> rule7)) -> rule4)) -> rule6))]