The bear chases the cat. The bear eats the cat. The bear is big. The bear is cold. The bear is green. The bear is red. The bear is young. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is young. If something is red then it eats the bear. If something is cold then it chases the cat. If something is big and it chases the cat then the cat is cold. If something is green then it is big. If something chases the cat and it needs the cat then the cat needs the bear. If something chases the cat and the cat needs the bear then it needs the cat. If the cat eats the bear and the bear is red then the cat is red. If something needs the bear and the bear chases the cat then the bear is young.
The bear needs the bear.
@0: The bear chases the cat.[(triple1 OR ((triple4) -> rule2))] The bear eats the cat.[(triple2)] The bear is big.[(triple3 OR ((triple5) -> rule4))] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear is young.[(triple7 OR ((((triple1 triple8) -> rule5) triple1) -> rule8) OR ((((triple1 triple8) -> rule5) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2) triple8) -> rule5) triple1) -> rule8) OR ((((((triple4) -> rule2) triple8) -> rule5) ((triple4) -> rule2)) -> rule8))] The bear needs the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is big.[(triple11)] The cat is young.[(triple12)] @1: The bear eats the bear.[(((triple6) -> rule1))] The cat is cold.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3) OR ((((triple5) -> rule4) triple1) -> rule3) OR ((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3))] The cat is red.[(((triple10 triple6) -> rule7))] The cat needs the bear.[(((triple1 triple8) -> rule5) OR ((((triple4) -> rule2) triple8) -> rule5))] @2: The cat chases the cat.[(((((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2))] @3: The cat needs the cat.[(((((((triple3 triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6))]