Anne is rough. Bob is furry. Bob is green. Bob is rough. Bob is round. Bob is smart. Fiona is big. If Bob is red then Bob is furry. Rough things are round. All smart things are big.
Fiona is red.
@0: Anne is rough.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule2))] Bob is smart.[(triple6)] Fiona is big.[(triple7)] @1: Anne is round.[(((triple1) -> rule2))] Bob is big.[(((triple6) -> rule3))]