Bob is furry. Bob is rough. Erin is big. Erin is green. Erin is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is rough. Harry is kind. If Harry is green then Harry is furry. If someone is young then they are rough. All big people are furry. Young, furry people are big. All rough people are kind. If Bob is furry and Bob is kind then Bob is young.
Bob is big.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7 OR ((triple6) -> rule3))] Fiona is kind.[(triple8 OR ((triple9) -> rule5))] Fiona is rough.[(triple9)] Harry is kind.[(triple10)] @1: Bob is kind.[(((triple2) -> rule5))] Erin is furry.[(((triple3) -> rule3))] Erin is rough.[(((triple5) -> rule2))] @2: Bob is young.[(((triple1 ((triple2) -> rule5)) -> rule6))] Erin is kind.[(((((triple5) -> rule2)) -> rule5))] @3: Bob is big.[(((((triple1 ((triple2) -> rule5)) -> rule6) triple1) -> rule4))]