Dave is big. Dave is cold. Erin is kind. Gary is kind. Gary is quiet. Gary is red. Harry is rough. If something is red then it is cold. All kind things are red. Cold things are quiet. Rough things are cold. Rough, red things are kind. If something is kind then it is big. If Harry is kind and Harry is smart then Harry is quiet. If Erin is big then Erin is smart.
Harry is not smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Erin is kind.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((((triple6) -> rule1)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1)) -> rule3))] Gary is red.[(triple6 OR ((triple4) -> rule2))] Harry is rough.[(triple7)] @1: Dave is quiet.[(((triple2) -> rule3))] Erin is big.[(((triple3) -> rule6))] Erin is red.[(((triple3) -> rule2))] Gary is big.[(((triple4) -> rule6))] Gary is cold.[(((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Harry is cold.[(((triple7) -> rule4))] @2: Erin is cold.[(((((triple3) -> rule2)) -> rule1))] Erin is smart.[(((((triple3) -> rule6)) -> rule8))] Harry is quiet.[(((((triple7) -> rule4)) -> rule3))] @3: Erin is quiet.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]