The bear chases the rabbit. The bear is big. The bear is red. The bear likes the cat. The bear likes the rabbit. The bear visits the cat. The cat chases the rabbit. The cat does not like the rabbit. The rabbit is blue. The rabbit is not rough. The rabbit likes the bear. The rabbit does not like the cat. If something is red then it likes the cat. If something chases the bear then the bear does not like the rabbit.
The cat does not like the cat.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4 OR ((triple3) -> rule1))] The bear likes the rabbit.[(triple5)] The bear visits the cat.[(triple6)] The cat chases the rabbit.[(triple7)] The cat does not like the rabbit.[(triple8)] The rabbit does not like the cat.[(triple12)] The rabbit is blue.[(triple9)] The rabbit is not rough.[(triple10)] The rabbit likes the bear.[(triple11)]