Bob is furry. Bob is young. Fiona is red. All big, kind people are green. If someone is green then they are kind. Big, kind people are young. All red people are green. If someone is green then they are rough. All kind people are big.
Bob is rough.
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is green.[(((triple3) -> rule4))] @2: Fiona is kind.[(((((triple3) -> rule4)) -> rule2))] Fiona is rough.[(((((triple3) -> rule4)) -> rule5))] @3: Fiona is big.[(((((((triple3) -> rule4)) -> rule2)) -> rule6))] @4: Fiona is young.[(((((((((triple3) -> rule4)) -> rule2)) -> rule6) ((((triple3) -> rule4)) -> rule2)) -> rule3))]