Charlie is red. Dave is cold. Dave is white. Gary is furry. Harry is quiet. Harry is red. Harry is young. Cold things are furry. All red, young things are furry. All white, red things are young. All cold, red things are young. Red, quiet things are cold. All red things are cold. If Gary is red then Gary is big. If something is big and cold then it is young.
Dave is not cold.
@0: Charlie is red.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3)] Gary is furry.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7 OR ((((triple6) -> rule6) triple6) -> rule4) OR ((((triple6 triple5) -> rule5) triple6) -> rule4))] @1: Charlie is cold.[(((triple1) -> rule6))] Dave is furry.[(((triple2) -> rule1))] Harry is cold.[(((triple6) -> rule6) OR ((triple6 triple5) -> rule5))] Harry is furry.[(((triple6 triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule5)) -> rule1) OR ((triple6 ((((triple6) -> rule6) triple6) -> rule4)) -> rule2) OR ((triple6 ((((triple6 triple5) -> rule5) triple6) -> rule4)) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule6)) -> rule1) OR ((triple1 ((((triple1) -> rule6) triple1) -> rule4)) -> rule2))] Charlie is young.[(((((triple1) -> rule6) triple1) -> rule4))]