The bear chases the cat. The bear eats the rabbit. The bear is nice. The bear is red. The bear visits the rabbit. The cat chases the bear. The cat eats the bear. The cat is cold. The cat visits the bear. The cat visits the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit is cold. The rabbit is kind. The rabbit is young. The rabbit visits the cat. If the cat is young then the cat eats the bear. If someone chases the cat then the cat eats the rabbit. If someone eats the cat then they visit the cat. If someone is cold and they eat the rabbit then they eat the cat. If someone eats the bear and the bear is nice then the bear chases the cat. If someone chases the bear then they visit the rabbit. If someone is nice and they chase the cat then the cat is nice. If someone visits the bear then they are young.
The bear does not eat the cat.
@0: The bear chases the cat.[(triple1 OR ((triple7 triple3) -> rule5) OR ((((((triple9) -> rule8)) -> rule1) triple3) -> rule5))] The bear eats the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear visits the rabbit.[(triple5)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7 OR ((((triple9) -> rule8)) -> rule1))] The cat is cold.[(triple8)] The cat visits the bear.[(triple9)] The cat visits the rabbit.[(triple10 OR ((triple6) -> rule6))] The rabbit chases the bear.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The cat eats the rabbit.[(((triple1) -> rule2) OR ((triple12) -> rule2) OR ((((triple7 triple3) -> rule5)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule1) triple3) -> rule5)) -> rule2))] The cat is nice.[(((triple3 triple1) -> rule7) OR ((triple3 ((triple7 triple3) -> rule5)) -> rule7) OR ((triple3 ((((((triple9) -> rule8)) -> rule1) triple3) -> rule5)) -> rule7))] The cat is young.[(((triple9) -> rule8))] The rabbit visits the rabbit.[(((triple11) -> rule6))] @2: The cat eats the cat.[(((triple8 ((triple1) -> rule2)) -> rule4) OR ((triple8 ((triple12) -> rule2)) -> rule4) OR ((triple8 ((((triple7 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple8 ((((((((triple9) -> rule8)) -> rule1) triple3) -> rule5)) -> rule2)) -> rule4))] @3: The cat visits the cat.[(((((triple8 ((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((triple8 ((triple12) -> rule2)) -> rule4)) -> rule3) OR ((((triple8 ((((triple7 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple8 ((((((((triple9) -> rule8)) -> rule1) triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3))]