The cow chases the mouse. The cow eats the mouse. The cow is cold. The cow is green. The cow is nice. The cow is red. The cow is round. The cow sees the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is cold. The mouse is green. The mouse is nice. The mouse is red. The mouse is round. The mouse sees the cow. If something sees the mouse then the mouse is round. Red, nice things are cold. If something is green and it sees the cow then it sees the mouse. If the cow chases the mouse then the mouse sees the cow. If something is cold then it eats the cow. If something chases the mouse then it chases the cow. If the cow sees the mouse and the cow is round then the cow eats the mouse. If something eats the cow and it sees the cow then the cow chases the mouse.
The mouse is cold.
@0: The cow chases the mouse.[(triple1 OR ((triple10 triple16) -> rule8) OR ((((triple11) -> rule5) triple16) -> rule8) OR ((((((triple14 triple13) -> rule2)) -> rule5) triple16) -> rule8))] The cow eats the mouse.[(triple2 OR ((triple8 triple7) -> rule7))] The cow is cold.[(triple3 OR ((triple6 triple5) -> rule2))] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow is round.[(triple7)] The cow sees the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse eats the cow.[(triple10 OR ((triple11) -> rule5) OR ((((triple14 triple13) -> rule2)) -> rule5))] The mouse is cold.[(triple11 OR ((triple14 triple13) -> rule2))] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse is round.[(triple15 OR ((triple8) -> rule1) OR ((((triple12 triple16) -> rule3)) -> rule1) OR ((((triple12 ((triple1) -> rule4)) -> rule3)) -> rule1))] The mouse sees the cow.[(triple16 OR ((triple1) -> rule4))] @1: The cow chases the cow.[(((triple1) -> rule6) OR ((((triple10 triple16) -> rule8)) -> rule6) OR ((((((triple11) -> rule5) triple16) -> rule8)) -> rule6) OR ((((((((triple14 triple13) -> rule2)) -> rule5) triple16) -> rule8)) -> rule6))] The cow eats the cow.[(((triple3) -> rule5) OR ((((triple6 triple5) -> rule2)) -> rule5))] The mouse sees the mouse.[(((triple12 triple16) -> rule3) OR ((triple12 ((triple1) -> rule4)) -> rule3))]