The bear chases the rabbit. The bear is green. The bear is nice. The bear is red. The bear is rough. The bear is round. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the bear. The rabbit visits the bear. If someone likes the rabbit then they are nice. All round people are nice. If someone likes the rabbit and the rabbit chases the bear then the bear is round. If someone likes the bear and the bear likes the rabbit then the rabbit chases the bear. If the bear is rough and the bear is green then the bear is red. If someone likes the bear then the bear chases the rabbit. If someone visits the bear and the bear chases the rabbit then they are red. If someone is green and rough then they chase the bear.
The bear likes the rabbit.
@0: The bear chases the rabbit.[(triple1 OR ((triple14) -> rule6))] The bear is green.[(triple2)] The bear is nice.[(triple3 OR ((triple6) -> rule2) OR ((triple7) -> rule1) OR ((((triple7 triple9) -> rule3)) -> rule2) OR ((((triple7 ((triple14 triple7) -> rule4)) -> rule3)) -> rule2))] The bear is red.[(triple4 OR ((triple5 triple2) -> rule5))] The bear is rough.[(triple5)] The bear is round.[(triple6 OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple14 triple7) -> rule4)) -> rule3))] The bear likes the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9 OR ((triple14 triple7) -> rule4))] The rabbit is nice.[(triple10 OR ((triple13) -> rule2))] The rabbit is red.[(triple11 OR ((triple15 triple1) -> rule7) OR ((triple15 ((triple14) -> rule6)) -> rule7))] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bear chases the bear.[(((triple2 triple5) -> rule8))]