The bear is blue. The bear is kind. The bear sees the cat. The cat chases the cow. The cat sees the tiger. The cow is cold. The cow sees the cat. The cow visits the bear. The cow visits the tiger. The tiger is cold. The tiger is kind. The tiger visits the cow. If someone chases the cow then they are big. If someone is red and they see the tiger then they see the bear. If someone is cold then they chase the cow. If someone is red and they visit the cow then they see the tiger. If someone is big and they see the cat then the cat is blue. If the cat chases the tiger then the cat chases the bear. If someone is red then they chase the tiger. If the cow sees the bear and the cow chases the tiger then the cow chases the bear.
The bear chases the cow.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear sees the cat.[(triple3)] The cat chases the cow.[(triple4)] The cat sees the tiger.[(triple5)] The cow is cold.[(triple6)] The cow sees the cat.[(triple7)] The cow visits the bear.[(triple8)] The cow visits the tiger.[(triple9)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cat is big.[(((triple4) -> rule1))] The cow chases the cow.[(((triple6) -> rule3))] The tiger chases the cow.[(((triple10) -> rule3))] @2: The cow is big.[(((((triple6) -> rule3)) -> rule1))] The tiger is big.[(((((triple10) -> rule3)) -> rule1))] @3: The cat is blue.[(((((((triple6) -> rule3)) -> rule1) triple7) -> rule5))]