Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is smart. Anne is white. Erin is green. Fiona is big. Fiona is blue. Fiona is furry. Fiona is rough. Gary is big. Gary is green. Gary is rough. Gary is white. White, smart things are rough. If Erin is blue then Erin is big. Big things are green. If something is green and blue then it is furry. If Erin is rough then Erin is blue. All green things are big. If Fiona is white then Fiona is big. Furry things are white. If something is big then it is rough.
Erin is smart.
@0: Anne is big.[(triple1 OR ((triple4) -> rule6))] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple4 triple2) -> rule4) OR ((((triple1) -> rule3) triple2) -> rule4))] Anne is green.[(triple4 OR ((triple1) -> rule3))] Anne is rough.[(triple5 OR ((triple1) -> rule9) OR ((triple7 triple6) -> rule1) OR ((((triple4) -> rule6)) -> rule9) OR ((((triple3) -> rule8) triple6) -> rule1) OR ((((((triple4 triple2) -> rule4)) -> rule8) triple6) -> rule1) OR ((((((((triple1) -> rule3) triple2) -> rule4)) -> rule8) triple6) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple3) -> rule8) OR ((((triple4 triple2) -> rule4)) -> rule8) OR ((((((triple1) -> rule3) triple2) -> rule4)) -> rule8))] Erin is green.[(triple8)] Fiona is big.[(triple9 OR ((((triple11) -> rule8)) -> rule7))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((((triple9) -> rule3) triple10) -> rule4))] Fiona is rough.[(triple12 OR ((triple9) -> rule9) OR ((((((triple11) -> rule8)) -> rule7)) -> rule9))] Gary is big.[(triple13 OR ((triple14) -> rule6))] Gary is green.[(triple14 OR ((triple13) -> rule3))] Gary is rough.[(triple15 OR ((triple13) -> rule9) OR ((((triple14) -> rule6)) -> rule9))] Gary is white.[(triple16)] @1: Erin is big.[(((triple8) -> rule6))] Fiona is green.[(((triple9) -> rule3) OR ((((((triple11) -> rule8)) -> rule7)) -> rule3))] Fiona is white.[(((triple11) -> rule8) OR ((((((triple9) -> rule3) triple10) -> rule4)) -> rule8))] @2: Erin is rough.[(((((triple8) -> rule6)) -> rule9))] @3: Erin is blue.[(((((((triple8) -> rule6)) -> rule9)) -> rule5))] @4: Erin is furry.[(((triple8 ((((((triple8) -> rule6)) -> rule9)) -> rule5)) -> rule4))] @5: Erin is white.[(((((triple8 ((((((triple8) -> rule6)) -> rule9)) -> rule5)) -> rule4)) -> rule8))]