The bear is big. The bear is cold. The bear likes the cat. The bear visits the cat. The bear visits the cow. The cat is green. The cat needs the bear. The cow needs the dog. The dog is blue. The dog likes the bear. The dog visits the cow. If something is blue then it is red. If something likes the cow then the cow is big. If the cow needs the cat then the cow likes the cat. If something is blue then it is cold. If something is big and it likes the dog then the dog likes the cow. If something needs the bear and the bear needs the dog then the bear is red. If something likes the bear and it is big then it needs the dog. If something is big then it needs the cat. If the bear is big then the bear likes the dog.
The cow is big.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the cow.[(triple5)] The cat is green.[(triple6)] The cat needs the bear.[(triple7)] The cow needs the dog.[(triple8)] The dog is blue.[(triple9)] The dog likes the bear.[(triple10)] The dog visits the cow.[(triple11)] @1: The bear likes the dog.[(((triple1) -> rule9))] The bear needs the cat.[(((triple1) -> rule8))] The dog is cold.[(((triple9) -> rule4))] The dog is red.[(((triple9) -> rule1))] @2: The dog likes the cow.[(((triple1 ((triple1) -> rule9)) -> rule5))] @3: The cow is big.[(((((triple1 ((triple1) -> rule9)) -> rule5)) -> rule2))] @4: The cow needs the cat.[(((((((triple1 ((triple1) -> rule9)) -> rule5)) -> rule2)) -> rule8))] @5: The cow likes the cat.[(((((((((triple1 ((triple1) -> rule9)) -> rule5)) -> rule2)) -> rule8)) -> rule3))]