The bear is blue. The bear is kind. The bear is round. If something is round and nice then it is kind. Kind things are round. Nice, blue things are round. Kind, rough things are round. If something is blue and rough then it is round. Round things are blue. All blue things are nice. Round things are rough.
The bear eats the bear.
@0: The bear is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] The bear is kind.[(triple2 OR ((triple3 ((triple1) -> rule7)) -> rule1) OR ((triple3 ((((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((triple1) -> rule7) triple1) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple1) -> rule7) triple1) -> rule3) ((((triple3) -> rule6)) -> rule7)) -> rule1))] The bear is round.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule7) triple1) -> rule3))] @1: The bear is nice.[(((triple1) -> rule7) OR ((((triple3) -> rule6)) -> rule7) OR ((((((triple2) -> rule2)) -> rule6)) -> rule7))] The bear is rough.[(((triple3) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple1) -> rule7) triple1) -> rule3)) -> rule8))]