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