Anne is cold. Anne is nice. Anne is white. Bob is nice. Bob is white. Charlie is green. Charlie is round. Charlie is white. Erin is big. Erin is cold. All cold people are big. If someone is green then they are rough. If Bob is big and Bob is cold then Bob is round. If someone is nice and white then they are round. All cold people are nice. All white people are rough. If someone is nice then they are white. Rough people are nice.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule5) OR ((((triple3) -> rule6)) -> rule8))] Anne is white.[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule5)) -> rule7))] Bob is nice.[(triple4 OR ((((triple5) -> rule6)) -> rule8))] Bob is white.[(triple5 OR ((triple4) -> rule7))] Charlie is green.[(triple6)] Charlie is round.[(triple7 OR ((((((triple6) -> rule2)) -> rule8) triple8) -> rule4) OR ((((((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((triple6) -> rule2)) -> rule8) ((((((triple6) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((((((triple8) -> rule6)) -> rule8) ((((((triple6) -> rule2)) -> rule8)) -> rule7)) -> rule4))] Charlie is white.[(triple8 OR ((((((triple6) -> rule2)) -> rule8)) -> rule7))] Erin is big.[(triple9 OR ((triple10) -> rule1))] Erin is cold.[(triple10)] @1: Anne is big.[(((triple1) -> rule1))] Anne is rough.[(((triple3) -> rule6) OR ((((triple2) -> rule7)) -> rule6) OR ((((((triple1) -> rule5)) -> rule7)) -> rule6))] Anne is round.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple2) -> rule7)) -> rule4) OR ((((triple1) -> rule5) triple3) -> rule4) OR ((((triple1) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((triple2 ((((triple1) -> rule5)) -> rule7)) -> rule4) OR ((((((triple3) -> rule6)) -> rule8) triple3) -> rule4) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule7)) -> rule4) OR ((((((triple3) -> rule6)) -> rule8) ((triple2) -> rule7)) -> rule4) OR ((((((triple3) -> rule6)) -> rule8) ((((triple1) -> rule5)) -> rule7)) -> rule4))] Bob is rough.[(((triple5) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] Bob is round.[(((triple4 triple5) -> rule4) OR ((triple4 ((triple4) -> rule7)) -> rule4) OR ((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) OR ((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule7)) -> rule4))] Charlie is rough.[(((triple6) -> rule2) OR ((triple8) -> rule6))] Erin is nice.[(((triple10) -> rule5))] @2: Charlie is nice.[(((((triple6) -> rule2)) -> rule8) OR ((((triple8) -> rule6)) -> rule8))] Erin is white.[(((((triple10) -> rule5)) -> rule7))] @3: Erin is rough.[(((((((triple10) -> rule5)) -> rule7)) -> rule6))] Erin is round.[(((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule7)) -> rule4))]