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