The bear chases the lion. The cat is cold. The cat is round. The cat does not see the cow. The cow is green. The cow visits the bear. The lion chases the bear. The lion does not chase the cat. The lion is cold. The lion is red. If something visits the bear and the bear does not see the lion then it chases the lion. If something sees the lion then it is cold. If something is kind then it does not visit the lion. If something chases the cow then it sees the cat. If something sees the cat then the cat chases the lion. If something is cold and it sees the cat then the cat is red. If something chases the cow then the cow visits the cat. If something is red then it chases the cow. If the cow visits the bear and the bear visits the cow then the cow sees the lion.
The cow chases the lion.
@0: The bear chases the lion.[(triple1)] The cat does not see the cow.[(triple4)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cow is green.[(triple5)] The cow visits the bear.[(triple6)] The lion chases the bear.[(triple7)] The lion does not chase the cat.[(triple8)] The lion is cold.[(triple9)] The lion is red.[(triple10)] @1: The lion chases the cow.[(((triple10) -> rule8))] @2: The cow visits the cat.[(((((triple10) -> rule8)) -> rule7) OR ((((((triple9 ((((triple10) -> rule8)) -> rule4)) -> rule6)) -> rule8)) -> rule7))] The lion sees the cat.[(((((triple10) -> rule8)) -> rule4))] @3: The cat chases the lion.[(((((((triple10) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple9 ((((triple10) -> rule8)) -> rule4)) -> rule6)) -> rule8)) -> rule4)) -> rule5))] The cat is red.[(((triple9 ((((triple10) -> rule8)) -> rule4)) -> rule6))] @4: The cat chases the cow.[(((((triple9 ((((triple10) -> rule8)) -> rule4)) -> rule6)) -> rule8))] @5: The cat sees the cat.[(((((((triple9 ((((triple10) -> rule8)) -> rule4)) -> rule6)) -> rule8)) -> rule4))]