The cat chases the mouse. The cat is big. The cat is green. The cat is kind. The cat is red. The cat likes the mouse. The cat sees the mouse. The mouse chases the cat. The mouse is big. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse likes the cat. The mouse sees the cat. If something sees the mouse then it chases the mouse. If something is kind and it chases the cat then it sees the mouse. If something is green and it chases the mouse then it is red. If something sees the mouse then it likes the cat. If something chases the cat then the cat chases the mouse. If something chases the mouse and the mouse sees the cat then it likes the mouse.
The cat likes the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple7) -> rule1) OR ((triple8) -> rule5))] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is red.[(triple5 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple7) -> rule1)) -> rule3) OR ((triple3 ((triple8) -> rule5)) -> rule3))] The cat likes the mouse.[(triple6 OR ((triple1 triple15) -> rule6) OR ((((triple7) -> rule1) triple15) -> rule6) OR ((((triple8) -> rule5) triple15) -> rule6))] The cat sees the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13 OR ((triple10 ((((triple11 triple8) -> rule2)) -> rule1)) -> rule3))] The mouse likes the cat.[(triple14 OR ((((triple11 triple8) -> rule2)) -> rule4))] The mouse sees the cat.[(triple15)] @1: The cat likes the cat.[(((triple7) -> rule4))] The mouse sees the mouse.[(((triple11 triple8) -> rule2))] @2: The mouse chases the mouse.[(((((triple11 triple8) -> rule2)) -> rule1))] @3: The mouse likes the mouse.[(((((((triple11 triple8) -> rule2)) -> rule1) triple15) -> rule6))]