Bob is green. Fiona is young. If something is big then it is furry. If Bob is kind and Bob is green then Bob is young. If something is furry and smart then it is round. All kind things are round. If something is furry then it is young. If something is green then it is big. All smart, green things are young. If something is furry then it is kind.
Fiona is not green.
@0: Bob is green.[(triple1)] Fiona is young.[(triple2)] @1: Bob is big.[(((triple1) -> rule6))] @2: Bob is furry.[(((((triple1) -> rule6)) -> rule1))] @3: Bob is kind.[(((((((triple1) -> rule6)) -> rule1)) -> rule8))] Bob is young.[(((((((triple1) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule8) triple1) -> rule2))] @4: Bob is round.[(((((((((triple1) -> rule6)) -> rule1)) -> rule8)) -> rule4))]