The dog eats the lion. The dog is blue. The dog is green. The dog is round. The dog likes the lion. The dog needs the lion. The lion does not eat the dog. The lion is big. The lion is green. The lion does not need the dog. If someone is round and green then they eat the dog. If someone likes the lion then they are green. If someone needs the lion and they eat the dog then the dog eats the lion. If someone eats the dog then the dog is red. If someone likes the dog then they are not red. If someone is red and they do not eat the lion then they are blue.
The lion is red.
@0: The dog eats the lion.[(triple1 OR ((triple6 ((triple4 triple3) -> rule1)) -> rule3) OR ((triple6 ((triple4 ((triple5) -> rule2)) -> rule1)) -> rule3))] The dog is blue.[(triple2)] The dog is green.[(triple3 OR ((triple5) -> rule2))] The dog is round.[(triple4)] The dog likes the lion.[(triple5)] The dog needs the lion.[(triple6)] The lion does not eat the dog.[(triple7)] The lion does not need the dog.[(triple10)] The lion is big.[(triple8)] The lion is green.[(triple9)] @1: The dog eats the dog.[(((triple4 triple3) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1))] @2: The dog is red.[(((((triple4 triple3) -> rule1)) -> rule4) OR ((((triple4 ((triple5) -> rule2)) -> rule1)) -> rule4))]