The lion is cold. The lion is green. The lion is nice. The lion is red. The lion is young. The lion likes the mouse. The lion needs the mouse. The lion sees the mouse. The mouse is cold. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse likes the lion. The mouse needs the lion. The mouse sees the lion. If someone likes the lion and they are young then the lion sees the mouse. If someone likes the mouse and the mouse needs the lion then they like the lion. If someone is young then they like the mouse.
The mouse does not like the lion.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6 OR ((triple5) -> rule3))] The lion needs the mouse.[(triple7)] The lion sees the mouse.[(triple8 OR ((triple14 triple13) -> rule1) OR ((((triple6 triple15) -> rule2) triple5) -> rule1) OR ((((((triple13) -> rule3) triple15) -> rule2) triple13) -> rule1) OR ((((((triple5) -> rule3) triple15) -> rule2) triple5) -> rule1))] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is young.[(triple13)] The mouse likes the lion.[(triple14 OR ((((triple13) -> rule3) triple15) -> rule2))] The mouse needs the lion.[(triple15)] The mouse sees the lion.[(triple16)] @1: The lion likes the lion.[(((triple6 triple15) -> rule2) OR ((((triple5) -> rule3) triple15) -> rule2))] The mouse likes the mouse.[(((triple13) -> rule3))]