Dave is furry. Dave is green. Dave is young. Fiona is green. Fiona is rough. Harry is big. Harry is young. Green things are rough. If Dave is rough and Dave is blue then Dave is big. If Dave is white then Dave is not big. Big things are young. Young, furry things are big. Big things are blue. If Fiona is blue then Fiona is big. Blue things are green.
Dave is rough.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((((((triple3 triple1) -> rule5)) -> rule6)) -> rule8))] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule1))] Harry is big.[(triple6)] Harry is young.[(triple7 OR ((triple6) -> rule4))] @1: Dave is big.[(((triple3 triple1) -> rule5))] Dave is rough.[(((triple2) -> rule1) OR ((((((((triple3 triple1) -> rule5)) -> rule6)) -> rule8)) -> rule1))] Harry is blue.[(((triple6) -> rule6))] @2: Dave is blue.[(((((triple3 triple1) -> rule5)) -> rule6))] Harry is green.[(((((triple6) -> rule6)) -> rule8))] @3: Harry is rough.[(((((((triple6) -> rule6)) -> rule8)) -> rule1))]