The bear chases the tiger. The bear is big. The bear is blue. The bear likes the tiger. The bear visits the cat. The cat chases the bear. The cat chases the tiger. The cat is blue. The cat is cold. The cat visits the bear. The tiger is blue. The tiger is green. The tiger is rough. The tiger likes the cat. The tiger visits the bear. If the bear is rough and the bear likes the tiger then the bear likes the cat. If the bear visits the tiger and the tiger visits the bear then the bear likes the cat. If something likes the bear then the bear visits the tiger. If the cat is green and the cat likes the tiger then the tiger is green. If something is blue then it likes the bear. If something chases the tiger then it visits the bear.
The bear likes the cat.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear likes the tiger.[(triple4)] The bear visits the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the tiger.[(triple7)] The cat is blue.[(triple8)] The cat is cold.[(triple9)] The cat visits the bear.[(triple10 OR ((triple7) -> rule6))] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear likes the bear.[(((triple3) -> rule5))] The bear visits the bear.[(((triple1) -> rule6))] The cat likes the bear.[(((triple8) -> rule5))] The tiger likes the bear.[(((triple11) -> rule5))] @2: The bear visits the tiger.[(((((triple11) -> rule5)) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))] @3: The bear likes the cat.[(((((((triple11) -> rule5)) -> rule3) triple15) -> rule2) OR ((((((triple3) -> rule5)) -> rule3) triple15) -> rule2) OR ((((((triple8) -> rule5)) -> rule3) triple15) -> rule2))]