The bear is blue. The bear is nice. The bear is young. The bear sees the tiger. The bear visits the cat. The cat is big. The cat likes the bear. The dog sees the bear. The tiger is nice. The tiger likes the cat. All blue people are big. If someone visits the bear and the bear sees the dog then they like the dog. If someone is red and they visit the tiger then they see the cat. If someone is big and they visit the cat then the cat likes the dog. If someone visits the tiger and they like the cat then the cat likes the dog. If someone likes the bear and they visit the tiger then the tiger likes the bear. If someone likes the dog then they see the bear. If someone sees the bear then they are blue.
The dog is big.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the cat.[(triple5)] The cat is big.[(triple6 OR ((((((((((triple1) -> rule1) triple5) -> rule4)) -> rule7)) -> rule8)) -> rule1))] The cat likes the bear.[(triple7)] The dog sees the bear.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the cat.[(triple10)] @1: The bear is big.[(((triple1) -> rule1))] The dog is blue.[(((triple8) -> rule8))] @2: The cat likes the dog.[(((((triple1) -> rule1) triple5) -> rule4))] The dog is big.[(((((triple8) -> rule8)) -> rule1))] @3: The cat sees the bear.[(((((((triple1) -> rule1) triple5) -> rule4)) -> rule7))] @4: The cat is blue.[(((((((((triple1) -> rule1) triple5) -> rule4)) -> rule7)) -> rule8))]