Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is round. Anne is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is not nice. Fiona is white. Gary is big. Gary is furry. Gary is not rough. Gary is white. Blue people are rough. If Fiona is furry then Fiona is blue.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule2))] Fiona is furry.[(triple9)] Fiona is not nice.[(triple10)] Fiona is white.[(triple11)] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is not rough.[(triple14)] Gary is white.[(triple15)] @1: Fiona is rough.[(((triple8) -> rule1) OR ((((triple9) -> rule2)) -> rule1))]