The cat eats the dog. The dog eats the cat. The dog eats the lion. The dog is big. The dog is kind. The dog is rough. The dog needs the cat. The dog needs the lion. The dog sees the cat. The dog sees the lion. The lion eats the cat. The lion is kind. The lion is round. The lion needs the cat. The lion sees the dog. If something sees the dog and the dog is blue then it sees the lion. If something sees the lion then it is blue. If something sees the dog then the dog eats the lion.
The lion needs the lion.
@0: The cat eats the dog.[(triple1)] The dog eats the cat.[(triple2)] The dog eats the lion.[(triple3 OR ((triple15) -> rule3))] The dog is big.[(triple4)] The dog is kind.[(triple5)] The dog is rough.[(triple6)] The dog needs the cat.[(triple7)] The dog needs the lion.[(triple8)] The dog sees the cat.[(triple9)] The dog sees the lion.[(triple10)] The lion eats the cat.[(triple11)] The lion is kind.[(triple12)] The lion is round.[(triple13)] The lion needs the cat.[(triple14)] The lion sees the dog.[(triple15)] @1: The dog is blue.[(((triple10) -> rule2))] @2: The lion sees the lion.[(((triple15 ((triple10) -> rule2)) -> rule1))] @3: The lion is blue.[(((((triple15 ((triple10) -> rule2)) -> rule1)) -> rule2))]