Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Bob is big. Bob is furry. Bob is nice. Bob is red. Bob is rough. Fiona is furry. Fiona is red. Gary is green. Gary is red. If something is green then it is furry. All furry things are nice.
Fiona is not green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Anne is red.[(triple6)] Anne is rough.[(triple7)] Bob is big.[(triple8)] Bob is furry.[(triple9)] Bob is nice.[(triple10 OR ((triple9) -> rule2))] Bob is red.[(triple11)] Bob is rough.[(triple12)] Fiona is furry.[(triple13)] Fiona is red.[(triple14)] Gary is green.[(triple15)] Gary is red.[(triple16)] @1: Fiona is nice.[(((triple13) -> rule2))] Gary is furry.[(((triple15) -> rule1))] @2: Gary is nice.[(((((triple15) -> rule1)) -> rule2))]