Bob is green. Dave is green. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is white. Harry is big. Harry is furry. Harry is rough. If someone is nice and rough then they are young. If someone is furry then they are nice. All green, white people are big.
Harry is nice.
@0: Bob is green.[(triple1)] Dave is green.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((triple3) -> rule2))] Erin is rough.[(triple6)] Erin is white.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] @1: Erin is big.[(((triple4 triple7) -> rule3))] Erin is young.[(((triple5 triple6) -> rule1) OR ((((triple3) -> rule2) triple6) -> rule1))] Harry is nice.[(((triple9) -> rule2))] @2: Harry is young.[(((((triple9) -> rule2) triple10) -> rule1))]