The bear is kind. The bear is red. The bear is round. All kind, red people are green. If someone is red and kind then they are round. If someone is round and red then they are nice. Green people are round. If the bear is red and the bear is round then the bear is green. If someone is round and red then they are green.
The bear is round.
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3 OR ((triple2 triple1) -> rule2) OR ((((triple1 triple2) -> rule1)) -> rule4))] @1: The bear is green.[(((triple1 triple2) -> rule1) OR ((triple2 triple3) -> rule5) OR ((triple3 triple2) -> rule6) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule2) triple2) -> rule6))] The bear is nice.[(((triple3 triple2) -> rule3) OR ((((triple2 triple1) -> rule2) triple2) -> rule3) OR ((((((triple1 triple2) -> rule1)) -> rule4) triple2) -> rule3))]