The bear is nice. The bear likes the cat. The bear sees the dog. The cat eats the bear. The cat is cold. The cat sees the bear. The dog eats the bear. The dog eats the lion. The dog is blue. The dog sees the cat. The lion eats the cat. The lion is cold. The lion likes the bear. The lion likes the cat. If someone is big then they eat the dog. If someone is cold then they are nice. If someone is blue and they see the bear then they see the dog. If someone eats the dog then the dog is nice. If someone is blue and they see the dog then they are big. If someone eats the bear and they are nice then they are blue. If someone eats the bear and they see the dog then the dog is big.
The lion sees the dog.
@0: The bear is nice.[(triple1)] The bear likes the cat.[(triple2)] The bear sees the dog.[(triple3)] The cat eats the bear.[(triple4)] The cat is cold.[(triple5)] The cat sees the bear.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the lion.[(triple8)] The dog is blue.[(triple9 OR ((triple7 ((((((triple4 ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule6) OR ((triple7 ((((((((triple4 ((triple5) -> rule2)) -> rule6) ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule5)) -> rule1)) -> rule4)) -> rule6))] The dog sees the cat.[(triple10)] The lion eats the cat.[(triple11)] The lion is cold.[(triple12)] The lion likes the bear.[(triple13)] The lion likes the cat.[(triple14)] @1: The cat is nice.[(((triple5) -> rule2))] The lion is nice.[(((triple12) -> rule2))] @2: The cat is blue.[(((triple4 ((triple5) -> rule2)) -> rule6))] @3: The cat sees the dog.[(((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3))] @4: The cat is big.[(((((triple4 ((triple5) -> rule2)) -> rule6) ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule5))] The dog is big.[(((triple4 ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule7))] @5: The cat eats the dog.[(((((((triple4 ((triple5) -> rule2)) -> rule6) ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule5)) -> rule1))] The dog eats the dog.[(((((triple4 ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule7)) -> rule1))] @6: The dog is nice.[(((((((triple4 ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple4 ((triple5) -> rule2)) -> rule6) ((((triple4 ((triple5) -> rule2)) -> rule6) triple6) -> rule3)) -> rule5)) -> rule1)) -> rule4))]