Bob is cold. Bob is kind. Charlie is blue. Charlie is cold. Charlie is red. Charlie is smart. Dave is green. Dave is kind. Dave is smart. Erin is smart. If Charlie is red and Charlie is smart then Charlie is cold. If Erin is cold and Erin is red then Erin is green. If someone is smart and big then they are kind. If someone is red then they are blue. Kind, big people are blue. All smart people are big.
Bob is not blue.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Charlie is blue.[(triple3 OR ((triple5) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule3) ((triple6) -> rule6)) -> rule5))] Charlie is cold.[(triple4 OR ((triple5 triple6) -> rule1))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8 OR ((triple9 ((triple9) -> rule6)) -> rule3))] Dave is smart.[(triple9)] Erin is smart.[(triple10)] @1: Charlie is big.[(((triple6) -> rule6))] Dave is big.[(((triple9) -> rule6))] Erin is big.[(((triple10) -> rule6))] @2: Charlie is kind.[(((triple6 ((triple6) -> rule6)) -> rule3))] Dave is blue.[(((triple8 ((triple9) -> rule6)) -> rule5) OR ((((triple9 ((triple9) -> rule6)) -> rule3) ((triple9) -> rule6)) -> rule5))] Erin is kind.[(((triple10 ((triple10) -> rule6)) -> rule3))] @3: Erin is blue.[(((((triple10 ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule5))]