Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Bob is white. Dave is rough. Dave is smart. Erin is blue. Erin is white. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is smart. Gary is white. Cold things are blue. If something is white and blue then it is rough. If something is rough and white then it is cold. All cold things are kind. If Gary is cold then Gary is rough. If Gary is rough then Gary is smart.
Dave is quiet.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple4 triple6) -> rule3)) -> rule1))] Bob is cold.[(triple2 OR ((triple4 triple6) -> rule3) OR ((((triple6 triple1) -> rule2) triple6) -> rule3))] Bob is kind.[(triple3 OR ((triple2) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule4) OR ((((((triple6 triple1) -> rule2) triple6) -> rule3)) -> rule4))] Bob is rough.[(triple4 OR ((triple6 triple1) -> rule2) OR ((triple6 ((triple2) -> rule1)) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Erin is blue.[(triple9)] Erin is white.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule1))] Gary is cold.[(triple12 OR ((((triple16 triple11) -> rule2) triple16) -> rule3))] Gary is kind.[(triple13 OR ((triple12) -> rule4) OR ((((((triple16 triple11) -> rule2) triple16) -> rule3)) -> rule4))] Gary is quiet.[(triple14)] Gary is smart.[(triple15 OR ((((triple12) -> rule5)) -> rule6) OR ((((triple16 triple11) -> rule2)) -> rule6) OR ((((triple16 ((triple12) -> rule1)) -> rule2)) -> rule6))] Gary is white.[(triple16)] @1: Erin is rough.[(((triple10 triple9) -> rule2))] Gary is rough.[(((triple12) -> rule5) OR ((triple16 triple11) -> rule2) OR ((triple16 ((triple12) -> rule1)) -> rule2))] @2: Erin is cold.[(((((triple10 triple9) -> rule2) triple10) -> rule3))] @3: Erin is kind.[(((((((triple10 triple9) -> rule2) triple10) -> rule3)) -> rule4))]