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