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