The cat chases the lion. The cat is cold. The cat likes the lion. The cat likes the rabbit. The cat sees the lion. The lion chases the cat. The lion sees the cat. The lion sees the rabbit. The rabbit chases the cat. The rabbit chases the lion. The rabbit is cold. The rabbit sees the cat. If the cat sees the lion and the lion sees the rabbit then the lion is kind. If something chases the lion and it likes the cat then the lion chases the rabbit. If something sees the rabbit and the rabbit is big then it is red. If the rabbit sees the lion then the rabbit chases the lion. If something likes the lion and the lion is red then it is round. If something is red then it chases the cat. If something sees the cat then it is big. If something is red and it chases the rabbit then the rabbit chases the lion.
The lion does not see the rabbit.
@0: The cat chases the lion.[(triple1)] The cat is cold.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the rabbit.[(triple4)] The cat sees the lion.[(triple5)] The lion chases the cat.[(triple6 OR ((((triple8 ((triple12) -> rule7)) -> rule3)) -> rule6))] The lion sees the cat.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is cold.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The lion is big.[(((triple7) -> rule7))] The lion is kind.[(((triple5 triple8) -> rule1))] The rabbit is big.[(((triple12) -> rule7))] @2: The lion is red.[(((triple8 ((triple12) -> rule7)) -> rule3))] @3: The cat is round.[(((triple3 ((triple8 ((triple12) -> rule7)) -> rule3)) -> rule5))]