Anne is furry. Anne is nice. Anne is rough. Anne is white. Erin is furry. Erin is rough. Erin is white. Fiona is big. Fiona is nice. Fiona is round. Harry is nice. Harry is rough. All furry things are white. If Harry is red then Harry is round. All round, red things are furry. If Harry is rough then Harry is round. Nice, red things are big. Round, red things are white. All nice, white things are red. If something is round then it is furry.
Harry is not big.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple1) -> rule1))] Erin is furry.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule1))] Fiona is big.[(triple8 OR ((triple9 ((triple9 ((((triple10) -> rule8)) -> rule1)) -> rule7)) -> rule5))] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12)] @1: Anne is red.[(((triple2 triple4) -> rule7) OR ((triple2 ((triple1) -> rule1)) -> rule7))] Fiona is furry.[(((triple10) -> rule8))] Harry is round.[(((triple12) -> rule4))] @2: Anne is big.[(((triple2 ((triple2 triple4) -> rule7)) -> rule5) OR ((triple2 ((triple2 ((triple1) -> rule1)) -> rule7)) -> rule5))] Fiona is white.[(((((triple10) -> rule8)) -> rule1))] Harry is furry.[(((((triple12) -> rule4)) -> rule8))] @3: Fiona is red.[(((triple9 ((((triple10) -> rule8)) -> rule1)) -> rule7))] Harry is white.[(((((((triple12) -> rule4)) -> rule8)) -> rule1))] @4: Harry is red.[(((triple11 ((((((triple12) -> rule4)) -> rule8)) -> rule1)) -> rule7))] @5: Harry is big.[(((triple11 ((triple11 ((((((triple12) -> rule4)) -> rule8)) -> rule1)) -> rule7)) -> rule5))]