Anne is big. Anne is rough. Anne is white. Dave is green. Dave is red. Dave is rough. Fiona is red. All big people are green. White people are big. Smart people are green. If someone is red and white then they are green. If someone is furry then they are white. All rough, red people are white.
Dave is furry.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2))] Anne is rough.[(triple2)] Anne is white.[(triple3)] Dave is green.[(triple4 OR ((triple5 ((triple6 triple5) -> rule6)) -> rule4) OR ((((((triple6 triple5) -> rule6)) -> rule2)) -> rule1))] Dave is red.[(triple5)] Dave is rough.[(triple6)] Fiona is red.[(triple7)] @1: Anne is green.[(((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Dave is white.[(((triple6 triple5) -> rule6))] @2: Dave is big.[(((((triple6 triple5) -> rule6)) -> rule2))]