The dog is big. The dog is rough. The dog is young. The dog likes the lion. The dog needs the lion. The lion is nice. The lion is young. The lion likes the dog. The lion needs the dog. The lion sees the dog. If someone needs the lion then they need the dog. If someone needs the lion and the lion sees the dog then the lion needs the dog. If the dog is young and the dog needs the lion then the dog sees the lion. If someone is red and nice then they are big. If someone is rough and they need the dog then they see the dog. If someone sees the lion and they are red then they are nice. If someone needs the lion and they see the dog then they need the dog. If someone sees the dog and the dog sees the lion then the dog is big.
The lion is not big.
@0: The dog is big.[(triple1 OR ((triple10 ((triple3 triple5) -> rule3)) -> rule8) OR ((((triple2 ((triple5) -> rule1)) -> rule5) ((triple3 triple5) -> rule3)) -> rule8))] The dog is rough.[(triple2)] The dog is young.[(triple3)] The dog likes the lion.[(triple4)] The dog needs the lion.[(triple5)] The lion is nice.[(triple6)] The lion is young.[(triple7)] The lion likes the dog.[(triple8)] The lion needs the dog.[(triple9 OR ((triple5 triple10) -> rule2))] The lion sees the dog.[(triple10)] @1: The dog needs the dog.[(((triple5) -> rule1))] The dog sees the lion.[(((triple3 triple5) -> rule3))] @2: The dog sees the dog.[(((triple2 ((triple5) -> rule1)) -> rule5))]