Charlie is red. Dave is white. Gary is cold. Gary is kind. Gary is red. Gary is round. Harry is round. If someone is big and round then they are kind. All white people are cold. All round people are kind. Nice people are kind. If Harry is big and Harry is nice then Harry is red. If Dave is kind then Dave is big. All cold, kind people are nice. If someone is cold then they are nice.
Gary is red.
@0: Charlie is red.[(triple1)] Dave is white.[(triple2)] Gary is cold.[(triple3)] Gary is kind.[(triple4 OR ((triple6) -> rule3) OR ((((triple3) -> rule8)) -> rule4))] Gary is red.[(triple5)] Gary is round.[(triple6)] Harry is round.[(triple7)] @1: Dave is cold.[(((triple2) -> rule2))] Gary is nice.[(((triple3) -> rule8) OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple6) -> rule3)) -> rule7))] Harry is kind.[(((triple7) -> rule3))] @2: Dave is nice.[(((((triple2) -> rule2)) -> rule8))] @3: Dave is kind.[(((((((triple2) -> rule2)) -> rule8)) -> rule4))] @4: Dave is big.[(((((((((triple2) -> rule2)) -> rule8)) -> rule4)) -> rule6))]