Bob is cold. Bob is red. Bob is rough. Charlie is blue. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is smart. Erin is white. Harry is rough. Kind people are white. If Charlie is cold and Charlie is rough then Charlie is smart. All smart, rough people are kind. Cold, rough people are smart. If Erin is red then Erin is blue. If someone is rough and kind then they are cold.
Bob is blue.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8 OR ((((triple7 triple6) -> rule3)) -> rule1))] Erin is blue.[(triple9 OR ((triple12) -> rule5))] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is red.[(triple12)] Erin is smart.[(triple13)] Erin is white.[(triple14 OR ((triple11) -> rule1))] Harry is rough.[(triple15)] @1: Bob is smart.[(((triple1 triple3) -> rule4))] Charlie is kind.[(((triple7 triple6) -> rule3))] @2: Bob is kind.[(((((triple1 triple3) -> rule4) triple3) -> rule3))] Charlie is cold.[(((triple6 ((triple7 triple6) -> rule3)) -> rule6))] @3: Bob is white.[(((((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule1))]