Bob is kind. Bob is nice. Bob is round. Gary is blue. Gary is round. Harry is cold. Harry is rough. If something is blue and kind then it is round. Kind, round things are young. All cold things are kind. If something is kind and blue then it is rough. If something is young then it is nice. Cold things are round.
Gary is cold.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((((triple1 triple3) -> rule2)) -> rule5))] Bob is round.[(triple3)] Gary is blue.[(triple4)] Gary is round.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Bob is young.[(((triple1 triple3) -> rule2))] Harry is kind.[(((triple6) -> rule3))] Harry is round.[(((triple6) -> rule6))] @2: Harry is young.[(((((triple6) -> rule3) ((triple6) -> rule6)) -> rule2))] @3: Harry is nice.[(((((((triple6) -> rule3) ((triple6) -> rule6)) -> rule2)) -> rule5))]