The bear chases the cat. The bear is not rough. The bear is young. The bear likes the cat. The bear does not need the cat. The cat chases the bear. The cat is blue. The cat is red. The cat is not rough. The cat is young. If something chases the cat then the cat is round. If something likes the cat and the cat chases the bear then the cat is round. If something is round and it chases the bear then it chases the cat. If the bear chases the cat and the bear is rough then the bear likes the cat. If something is rough and young then it is blue. If something chases the cat and the cat is round then it likes the cat. If something is young then it does not need the bear. If something is round and it does not need the bear then it does not need the cat.
The bear is not blue.
@0: The bear chases the cat.[(triple1)] The bear does not need the cat.[(triple5)] The bear is not rough.[(triple2)] The bear is young.[(triple3)] The bear likes the cat.[(triple4 OR ((triple1 ((triple1) -> rule1)) -> rule6))] The cat chases the bear.[(triple6)] The cat is blue.[(triple7)] The cat is not rough.[(triple9)] The cat is red.[(triple8)] The cat is young.[(triple10)] @1: The bear does not need the bear.[(((triple3) -> rule7))] The cat does not need the bear.[(((triple10) -> rule7))] The cat is round.[(((triple1) -> rule1) OR ((triple4 triple6) -> rule2))] @2: The cat chases the cat.[(((((triple1) -> rule1) triple6) -> rule3) OR ((((triple4 triple6) -> rule2) triple6) -> rule3))] The cat does not need the cat.[(((((triple1) -> rule1) ((triple10) -> rule7)) -> rule8) OR ((((triple4 triple6) -> rule2) ((triple10) -> rule7)) -> rule8))] @3: The cat likes the cat.[(((((((triple1) -> rule1) triple6) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple6) -> rule3) ((triple4 triple6) -> rule2)) -> rule6) OR ((((((triple4 triple6) -> rule2) triple6) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule2) triple6) -> rule3) ((triple4 triple6) -> rule2)) -> rule6))]