The bear eats the cat. The bear is big. The bear is cold. The bear is red. The bear is rough. The bear is young. The bear sees the cat. The bear visits the cat. The cat eats the bear. The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is young. The cat sees the bear. The cat visits the bear. If someone visits the cat and they visit the bear then the bear eats the cat. If someone sees the cat then the cat is rough. If someone visits the bear and the bear visits the cat then the bear is big. If someone is rough and red then they see the cat. If someone is cold then they see the cat. If someone sees the bear and they visit the bear then the bear eats the cat. All red people are rough. If someone eats the bear then the bear is big.
The bear does not eat the bear.
@0: The bear eats the cat.[(triple1 OR ((triple15 triple16) -> rule6))] The bear is big.[(triple2 OR ((triple9) -> rule8) OR ((triple16 triple8) -> rule3))] The bear is cold.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5 OR ((triple4) -> rule7))] The bear is young.[(triple6)] The bear sees the cat.[(triple7 OR ((triple3) -> rule5) OR ((triple5 triple4) -> rule4) OR ((((triple4) -> rule7) triple4) -> rule4))] The bear visits the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat is big.[(triple10)] The cat is cold.[(triple11)] The cat is red.[(triple12)] The cat is rough.[(triple13 OR ((triple12) -> rule7) OR ((triple7) -> rule2) OR ((((triple11) -> rule5)) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple5 triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule7) triple4) -> rule4)) -> rule2))] The cat is young.[(triple14)] The cat sees the bear.[(triple15)] The cat visits the bear.[(triple16)] @1: The cat sees the cat.[(((triple11) -> rule5) OR ((triple13 triple12) -> rule4) OR ((((triple12) -> rule7) triple12) -> rule4) OR ((((triple7) -> rule2) triple12) -> rule4) OR ((((((triple3) -> rule5)) -> rule2) triple12) -> rule4) OR ((((((triple5 triple4) -> rule4)) -> rule2) triple12) -> rule4) OR ((((((((triple4) -> rule7) triple4) -> rule4)) -> rule2) triple12) -> rule4))]