The bear is round. If someone is round and green then they are blue. All blue people are big. All round people are big. If the bear is round and the bear is nice then the bear is blue. If someone is big then they are nice. Nice, round people are green. Blue people are green. If someone is nice and blue then they are round.
The bear is blue.
@0: The bear is round.[(triple1)] @1: The bear is big.[(((triple1) -> rule3))] @2: The bear is nice.[(((((triple1) -> rule3)) -> rule5))] @3: The bear is blue.[(((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((((triple1) -> rule3)) -> rule5) triple1) -> rule6)) -> rule1))] The bear is green.[(((((((triple1) -> rule3)) -> rule5) triple1) -> rule6) OR ((((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule7))]