The bear eats the lion. The bear is blue. The bear is kind. The bear is red. The bear is round. The bear likes the lion. The bear visits the lion. The lion eats the bear. The lion is blue. The lion is green. The lion is kind. The lion is red. The lion is round. The lion likes the bear. The lion visits the bear. If something is kind then it eats the lion. If something eats the lion and it is round then it likes the lion. If something is blue then it eats the lion.
The lion visits the lion.
@0: The bear eats the lion.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule1))] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear likes the lion.[(triple6 OR ((triple1 triple5) -> rule2) OR ((((triple2) -> rule3) triple5) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule2))] The bear visits the lion.[(triple7)] The lion eats the bear.[(triple8)] The lion is blue.[(triple9)] The lion is green.[(triple10)] The lion is kind.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion likes the bear.[(triple14)] The lion visits the bear.[(triple15)] @1: The lion eats the lion.[(((triple11) -> rule1) OR ((triple9) -> rule3))] @2: The lion likes the lion.[(((((triple11) -> rule1) triple13) -> rule2) OR ((((triple9) -> rule3) triple13) -> rule2))]