The bear chases the cat. The bear eats the cat. The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is blue. The cat is cold. If the bear chases the cat then the cat eats the bear. If someone chases the bear then they need the cat. If someone eats the cat and the cat needs the bear then the bear is kind. If someone chases the cat then they need the cat. If someone chases the cat and the cat chases the bear then the cat needs the bear. If someone chases the bear and they need the cat then they are rough. If someone chases the bear then the bear is big. If someone is rough then they eat the cat.
The cat does not eat the cat.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3 OR ((triple8) -> rule7))] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear is kind.[(triple6 OR ((triple2 ((triple1 triple8) -> rule5)) -> rule3) OR ((((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8) ((triple1 triple8) -> rule5)) -> rule3))] The bear needs the cat.[(triple7 OR ((triple1) -> rule4))] The cat chases the bear.[(triple8)] The cat eats the bear.[(triple9 OR ((triple1) -> rule1))] The cat is big.[(triple10)] The cat is blue.[(triple11)] The cat is cold.[(triple12)] @1: The cat needs the bear.[(((triple1 triple8) -> rule5))] The cat needs the cat.[(((triple8) -> rule2))] @2: The cat is rough.[(((triple8 ((triple8) -> rule2)) -> rule6))] @3: The cat eats the cat.[(((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8))]