The dog eats the mouse. The dog is blue. The dog is rough. The dog sees the lion. The lion does not eat the dog. The lion is blue. The lion is red. The lion does not like the dog. The lion likes the mouse. The lion sees the dog. The mouse eats the dog. The mouse is not blue. The mouse is cold. The mouse is nice. The mouse does not like the dog. The mouse sees the dog. If someone eats the lion then the lion is nice. If someone is nice then they eat the lion. If someone likes the mouse then they see the lion. If someone is blue and they see the dog then the dog eats the lion. If the mouse does not see the dog then the dog eats the lion. Blue, nice people are cold.
The lion likes the dog.
@0: The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is rough.[(triple3)] The dog sees the lion.[(triple4)] The lion does not eat the dog.[(triple5)] The lion does not like the dog.[(triple8)] The lion is blue.[(triple6)] The lion is red.[(triple7)] The lion likes the mouse.[(triple9)] The lion sees the dog.[(triple10)] The mouse does not like the dog.[(triple15)] The mouse eats the dog.[(triple11)] The mouse is cold.[(triple13)] The mouse is nice.[(triple14)] The mouse is not blue.[(triple12)] The mouse sees the dog.[(triple16)] @1: The dog eats the lion.[(((triple6 triple10) -> rule4))] The lion sees the lion.[(((triple9) -> rule3))] The mouse eats the lion.[(((triple14) -> rule2))] @2: The lion is nice.[(((((triple14) -> rule2)) -> rule1) OR ((((triple6 triple10) -> rule4)) -> rule1))] @3: The lion eats the lion.[(((((((triple14) -> rule2)) -> rule1)) -> rule2) OR ((((((triple6 triple10) -> rule4)) -> rule1)) -> rule2))] The lion is cold.[(((triple6 ((((triple14) -> rule2)) -> rule1)) -> rule6) OR ((triple6 ((((triple6 triple10) -> rule4)) -> rule1)) -> rule6))]