Charlie is cold. Charlie is young. Gary is cold. If Gary is nice and Gary is red then Gary is cold. All young, cold things are white. Nice things are young. All big things are red. If Charlie is white then Charlie is nice. Cold things are nice. If Gary is young then Gary is white. If something is big and kind then it is young.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Charlie is young.[(triple2 OR ((((triple1) -> rule6)) -> rule3))] Gary is cold.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule6) OR ((((triple2 triple1) -> rule2)) -> rule5))] Charlie is white.[(((triple2 triple1) -> rule2) OR ((((((triple1) -> rule6)) -> rule3) triple1) -> rule2))] Gary is nice.[(((triple3) -> rule6))] @2: Gary is young.[(((((triple3) -> rule6)) -> rule3))] @3: Gary is white.[(((((((triple3) -> rule6)) -> rule3)) -> rule7) OR ((((((triple3) -> rule6)) -> rule3) triple3) -> rule2))]