The bear chases the cat. The bear chases the lion. The bear sees the cat. The cat chases the lion. The cat eats the bear. The cat eats the lion. The cat is red. The cat is round. The cat sees the bear. The cat sees the lion. The lion eats the cat. The lion is nice. If someone eats the lion and they eat the cat then the lion eats the bear. If someone chases the cat and the cat chases the bear then the cat sees the lion. If the cat is round and the cat chases the lion then the cat is nice. If someone is round then they eat the cat. If someone eats the bear and they are nice then they see the lion. If someone eats the bear then the bear is round.
The lion is rough.
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear sees the cat.[(triple3)] The cat chases the lion.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the lion.[(triple6)] The cat is red.[(triple7)] The cat is round.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the lion.[(triple10 OR ((triple5 ((triple8 triple4) -> rule3)) -> rule5))] The lion eats the cat.[(triple11)] The lion is nice.[(triple12)] @1: The bear is round.[(((triple5) -> rule6) OR ((((triple6 ((triple8) -> rule4)) -> rule1)) -> rule6))] The cat eats the cat.[(((triple8) -> rule4))] The cat is nice.[(((triple8 triple4) -> rule3))] @2: The bear eats the cat.[(((((triple5) -> rule6)) -> rule4) OR ((((((triple6 ((triple8) -> rule4)) -> rule1)) -> rule6)) -> rule4))] The lion eats the bear.[(((triple6 ((triple8) -> rule4)) -> rule1))] @3: The lion sees the lion.[(((((triple6 ((triple8) -> rule4)) -> rule1) triple12) -> rule5))]