Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. All white people are furry. All big people are furry. If someone is rough and quiet then they are white. All rough, white people are green. All green, furry people are quiet. All blue, rough people are furry.
Erin is white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple1) -> rule2) OR ((triple7) -> rule1) OR ((triple2 triple6) -> rule6) OR ((((triple6 triple5) -> rule3)) -> rule1))] Erin is green.[(triple4 OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple6 triple5) -> rule3)) -> rule4))] Erin is quiet.[(triple5 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple1) -> rule2)) -> rule5) OR ((triple4 ((triple7) -> rule1)) -> rule5) OR ((triple4 ((triple2 triple6) -> rule6)) -> rule5) OR ((((triple6 triple7) -> rule4) triple3) -> rule5) OR ((((triple6 triple7) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((triple6 triple7) -> rule4) ((triple7) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule4) ((triple2 triple6) -> rule6)) -> rule5))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple4 triple3) -> rule5)) -> rule3) OR ((triple6 ((triple4 ((triple1) -> rule2)) -> rule5)) -> rule3) OR ((triple6 ((triple4 ((triple2 triple6) -> rule6)) -> rule5)) -> rule3))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple14) -> rule1) OR ((triple8) -> rule2) OR ((triple9 triple13) -> rule6) OR ((((triple13 triple12) -> rule3)) -> rule1))] Fiona is green.[(triple11 OR ((triple13 triple14) -> rule4) OR ((triple13 ((triple13 triple12) -> rule3)) -> rule4))] Fiona is quiet.[(triple12 OR ((triple11 triple10) -> rule5) OR ((triple11 ((triple14) -> rule1)) -> rule5) OR ((triple11 ((triple8) -> rule2)) -> rule5) OR ((triple11 ((triple9 triple13) -> rule6)) -> rule5) OR ((((triple13 triple14) -> rule4) triple10) -> rule5) OR ((((triple13 triple14) -> rule4) ((triple14) -> rule1)) -> rule5) OR ((((triple13 triple14) -> rule4) ((triple8) -> rule2)) -> rule5) OR ((((triple13 triple14) -> rule4) ((triple9 triple13) -> rule6)) -> rule5))] Fiona is rough.[(triple13)] Fiona is white.[(triple14 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple11 triple10) -> rule5)) -> rule3) OR ((triple13 ((triple11 ((triple8) -> rule2)) -> rule5)) -> rule3) OR ((triple13 ((triple11 ((triple9 triple13) -> rule6)) -> rule5)) -> rule3))]