Charlie is round. Dave is green. Dave is kind. Dave is young. Gary is cold. Gary is kind. Gary is young. If someone is white then they are furry. Round people are white. All green, young people are cold. If someone is furry then they are kind. If Gary is young then Gary is white. If Dave is furry then Dave is round.
Charlie is white.
@0: Charlie is round.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is young.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6 OR ((((((triple7) -> rule5)) -> rule1)) -> rule4))] Gary is young.[(triple7)] @1: Charlie is white.[(((triple1) -> rule2))] Dave is cold.[(((triple2 triple4) -> rule3))] Gary is white.[(((triple7) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule1))] Gary is furry.[(((((triple7) -> rule5)) -> rule1))] @3: Charlie is kind.[(((((((triple1) -> rule2)) -> rule1)) -> rule4))]