Bob is red. Bob is rough. Charlie is big. Charlie is blue. Charlie is furry. Dave is big. Fiona is red. All big people are green. All white people are rough. White people are blue. All rough, red people are furry. All red people are rough. Big people are blue.
Charlie is not rough.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule5))] Charlie is big.[(triple3)] Charlie is blue.[(triple4 OR ((triple3) -> rule6))] Charlie is furry.[(triple5)] Dave is big.[(triple6)] Fiona is red.[(triple7)] @1: Bob is furry.[(((triple2 triple1) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4))] Charlie is green.[(((triple3) -> rule1))] Dave is blue.[(((triple6) -> rule6))] Dave is green.[(((triple6) -> rule1))] Fiona is rough.[(((triple7) -> rule5))] @2: Fiona is furry.[(((((triple7) -> rule5) triple7) -> rule4))]