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