Anne is big. Anne is furry. Anne is green. Anne is not quiet. Anne is rough. Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is white. Fiona is not blue. All big things are rough. If Fiona is big then Fiona is not furry. All furry things are blue. Furry things are green. White things are big. If Bob is rough then Bob is big.
Fiona is white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2) -> rule4))] Anne is not quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule1))] Bob is big.[(triple6 OR ((triple10) -> rule6) OR ((triple11) -> rule5))] Bob is blue.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Bob is rough.[(triple10 OR ((triple6) -> rule1) OR ((((triple11) -> rule5)) -> rule1))] Bob is white.[(triple11)] Fiona is not blue.[(triple12)] @1: Anne is blue.[(((triple2) -> rule3))]