Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is white. Bob is young. Charlie is green. Charlie is red. Charlie is young. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. If something is green and cold then it is red. Red, rough things are cold. All red things are rough. If something is white then it is young. If Charlie is red and Charlie is white then Charlie is nice. All cold, white things are green. If Bob is rough and Bob is cold then Bob is young. Cold things are red.
Charlie is white.
@0: Bob is cold.[(triple1 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Bob is green.[(triple2 OR ((triple1 triple6) -> rule6) OR ((((triple4 triple5) -> rule2) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule2) triple6) -> rule6))] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule8) OR ((triple2 triple1) -> rule1) OR ((((triple1 triple6) -> rule6) triple1) -> rule1))] Bob is rough.[(triple5 OR ((triple4) -> rule3) OR ((((triple1) -> rule8)) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule6) triple1) -> rule1)) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule4) OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple4 triple5) -> rule2)) -> rule7) OR ((((triple4) -> rule3) triple1) -> rule7) OR ((((triple4) -> rule3) ((triple4 triple5) -> rule2)) -> rule7) OR ((triple5 ((triple4 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule3) triple1) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule3) triple1) -> rule7) OR ((((triple4) -> rule3) ((triple4 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule3) ((triple4 triple5) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule3) ((triple4 triple5) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule3) ((triple4 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple1 triple6) -> rule6) triple1) -> rule1)) -> rule3) triple1) -> rule7) OR ((((((((triple1 triple6) -> rule6) triple1) -> rule1)) -> rule3) ((triple4 triple5) -> rule2)) -> rule7) OR ((((((((triple1 triple6) -> rule6) triple1) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule3)) -> rule2)) -> rule7))] Charlie is green.[(triple8)] Charlie is red.[(triple9)] Charlie is young.[(triple10)] Erin is green.[(triple11 OR ((((triple13 triple14) -> rule2) triple15) -> rule6) OR ((((triple13 ((triple13) -> rule3)) -> rule2) triple15) -> rule6))] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is rough.[(triple14 OR ((triple13) -> rule3))] Erin is white.[(triple15)] Erin is young.[(triple16 OR ((triple15) -> rule4))] @1: Charlie is rough.[(((triple9) -> rule3))] Erin is cold.[(((triple13 triple14) -> rule2) OR ((triple13 ((triple13) -> rule3)) -> rule2))] @2: Charlie is cold.[(((triple9 ((triple9) -> rule3)) -> rule2))]