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