Anne is green. Anne is nice. Anne is white. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is round. Bob is white. Fiona is big. Fiona is green. Fiona is rough. Fiona is white. Harry is nice. Harry is rough. Nice, round things are furry. If something is rough and round then it is furry. If something is nice then it is white. All furry things are round. If Fiona is green then Fiona is white. All furry things are round. If something is rough then it is big. If Anne is green and Anne is big then Anne is rough.
Anne is not furry.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule3))] Bob is furry.[(triple4 OR ((triple6 triple8) -> rule1) OR ((triple7 triple8) -> rule2))] Bob is green.[(triple5)] Bob is nice.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8 OR ((triple4) -> rule4) OR ((triple4) -> rule6))] Bob is white.[(triple9 OR ((triple6) -> rule3))] Fiona is big.[(triple10 OR ((triple12) -> rule7))] Fiona is green.[(triple11)] Fiona is rough.[(triple12)] Fiona is white.[(triple13 OR ((triple11) -> rule5))] Harry is nice.[(triple14)] Harry is rough.[(triple15)] @1: Bob is big.[(((triple7) -> rule7))] Harry is big.[(((triple15) -> rule7))] Harry is white.[(((triple14) -> rule3))]