The bear chases the cat. The bear sees the cat. The cat is blue. The cat is round. The cat is young. The cat visits the bear. The cat visits the tiger. The lion sees the cat. The lion visits the tiger. The tiger visits the lion. If the cat sees the tiger then the tiger chases the lion. If someone visits the bear then they are red. If someone chases the cat and the cat visits the tiger then the tiger is young. If someone is young then they visit the cat. If someone chases the tiger and they see the lion then they chase the bear. If someone is young and round then they see the lion. If someone is red then they are blue. If the cat is round and the cat is red then the cat is young.
The lion is red.
@0: The bear chases the cat.[(triple1)] The bear sees the cat.[(triple2)] The cat is blue.[(triple3 OR ((((triple6) -> rule2)) -> rule7))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple4 ((triple6) -> rule2)) -> rule8))] The cat visits the bear.[(triple6)] The cat visits the tiger.[(triple7)] The lion sees the cat.[(triple8)] The lion visits the tiger.[(triple9)] The tiger visits the lion.[(triple10)] @1: The cat is red.[(((triple6) -> rule2))] The cat sees the lion.[(((triple5 triple4) -> rule6) OR ((((triple4 ((triple6) -> rule2)) -> rule8) triple4) -> rule6))] The cat visits the cat.[(((triple5) -> rule4) OR ((((triple4 ((triple6) -> rule2)) -> rule8)) -> rule4))] The tiger is young.[(((triple1 triple7) -> rule3))] @2: The tiger visits the cat.[(((((triple1 triple7) -> rule3)) -> rule4))]