Anne is round. Anne is white. Anne is young. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is white. Dave is round. Dave is white. Fiona is white. Round, white people are rough. If Anne is round and Anne is furry then Anne is green. If Dave is round then Dave is green. If Bob is round then Bob is white. If someone is rough and young then they are furry. If Bob is young then Bob is green.
Fiona is rough.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple8) -> rule4)) -> rule1))] Bob is round.[(triple8)] Bob is white.[(triple9 OR ((triple8) -> rule4))] Dave is round.[(triple10)] Dave is white.[(triple11)] Fiona is white.[(triple12)] @1: Anne is rough.[(((triple1 triple2) -> rule1))] Dave is green.[(((triple10) -> rule3))] Dave is rough.[(((triple10 triple11) -> rule1))] @2: Anne is furry.[(((((triple1 triple2) -> rule1) triple3) -> rule5))] @3: Anne is green.[(((triple1 ((((triple1 triple2) -> rule1) triple3) -> rule5)) -> rule2))]