The bear likes the squirrel. The bear likes the tiger. The bear visits the squirrel. The cat is round. The cat likes the tiger. The squirrel is nice. The squirrel likes the bear. The squirrel visits the tiger. The tiger chases the bear. The tiger chases the cat. The tiger visits the bear. The tiger visits the cat. If the tiger chases the cat and the tiger visits the squirrel then the squirrel is red. If something chases the bear then it visits the tiger. If something likes the cat then it chases the squirrel. If something is cold then it visits the bear. If something is cold then it likes the tiger. If something likes the bear then it is cold. If something visits the tiger then the tiger likes the cat. If the bear likes the cat then the cat chases the tiger.
The tiger is nice.
@0: The bear likes the squirrel.[(triple1)] The bear likes the tiger.[(triple2)] The bear visits the squirrel.[(triple3)] The cat is round.[(triple4)] The cat likes the tiger.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the bear.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger chases the cat.[(triple10)] The tiger visits the bear.[(triple11)] The tiger visits the cat.[(triple12)] @1: The squirrel is cold.[(((triple7) -> rule6))] The tiger likes the cat.[(((triple8) -> rule7) OR ((((triple9) -> rule2)) -> rule7))] The tiger visits the tiger.[(((triple9) -> rule2))] @2: The squirrel likes the tiger.[(((((triple7) -> rule6)) -> rule5))] The squirrel visits the bear.[(((((triple7) -> rule6)) -> rule4))] The tiger chases the squirrel.[(((((triple8) -> rule7)) -> rule3) OR ((((((triple9) -> rule2)) -> rule7)) -> rule3))]