The bear chases the rabbit. The bear eats the rabbit. The bear is nice. The bear is rough. The bear is round. The bear is young. The bear likes the rabbit. The rabbit eats the bear. The rabbit is young. The rabbit likes the bear. If the rabbit chases the bear and the bear chases the rabbit then the bear is rough. If something likes the bear then it chases the rabbit. If something eats the rabbit then it likes the bear. If something eats the rabbit and the rabbit is nice then the rabbit chases the bear. If something eats the rabbit and it is green then it chases the rabbit. If something eats the bear then the bear is round. If something chases the rabbit and the rabbit eats the bear then it is nice. If the bear eats the rabbit and the bear is green then the bear likes the rabbit.
The rabbit is rough.
@0: The bear chases the rabbit.[(triple1 OR ((((triple2) -> rule3)) -> rule2))] The bear eats the rabbit.[(triple2)] The bear is nice.[(triple3 OR ((triple1 triple8) -> rule7) OR ((((((triple2) -> rule3)) -> rule2) triple8) -> rule7))] The bear is rough.[(triple4 OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) triple1) -> rule1) OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) ((((triple2) -> rule3)) -> rule2)) -> rule1))] The bear is round.[(triple5 OR ((triple8) -> rule6))] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bear.[(triple10)] @1: The bear likes the bear.[(((triple2) -> rule3))] The rabbit chases the rabbit.[(((triple10) -> rule2))] @2: The rabbit is nice.[(((((triple10) -> rule2) triple8) -> rule7))] @3: The rabbit chases the bear.[(((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4))]