The bear is blue. The cat chases the bear. The dog is blue. The tiger likes the dog. Blue things are round. If the dog is round then the dog chases the bear. If something chases the cat and the cat needs the tiger then the tiger needs the cat. Cold things are kind. If something chases the bear then it chases the tiger. If the tiger chases the dog then the tiger is cold. If the dog likes the bear then the bear chases the dog. If the dog chases the tiger then the tiger is round.
The dog is blue.
@0: The bear is blue.[(triple1)] The cat chases the bear.[(triple2)] The dog is blue.[(triple3)] The tiger likes the dog.[(triple4)] @1: The bear is round.[(((triple1) -> rule1))] The cat chases the tiger.[(((triple2) -> rule5))] The dog is round.[(((triple3) -> rule1))] @2: The dog chases the bear.[(((((triple3) -> rule1)) -> rule2))] @3: The dog chases the tiger.[(((((((triple3) -> rule1)) -> rule2)) -> rule5))] @4: The tiger is round.[(((((((((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule8))]