The cat is big. The cat sees the mouse. The cat visits the mouse. The cat visits the tiger. The mouse eats the cat. The mouse sees the cat. The mouse sees the tiger. The tiger eats the mouse. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is round. The tiger sees the cat. The tiger visits the cat. The tiger visits the mouse. If the cat visits the mouse and the mouse is nice then the cat eats the mouse. If something visits the tiger then it is blue. If something eats the mouse then the mouse visits the tiger. If something is nice then it sees the cat. If something sees the tiger then it visits the cat. If something visits the cat then it eats the mouse. If something is blue then it eats the tiger. If something sees the cat and it is cold then it eats the mouse.
The cat eats the cat.
@0: The cat is big.[(triple1)] The cat sees the mouse.[(triple2)] The cat visits the mouse.[(triple3)] The cat visits the tiger.[(triple4)] The mouse eats the cat.[(triple5)] The mouse sees the cat.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger eats the mouse.[(triple8 OR ((triple14) -> rule6) OR ((triple13 triple10) -> rule8) OR ((((triple11) -> rule4) triple10) -> rule8))] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger sees the cat.[(triple13 OR ((triple11) -> rule4))] The tiger visits the cat.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The cat is blue.[(((triple4) -> rule2))] The mouse visits the cat.[(((triple7) -> rule5))] The mouse visits the tiger.[(((triple8) -> rule3) OR ((((triple14) -> rule6)) -> rule3) OR ((((triple13 triple10) -> rule8)) -> rule3) OR ((((((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((((triple11) -> rule4) triple10) -> rule8)) -> rule3))] The tiger eats the tiger.[(((triple9) -> rule7))] @2: The cat eats the tiger.[(((((triple4) -> rule2)) -> rule7))] The mouse eats the mouse.[(((((triple7) -> rule5)) -> rule6))] The mouse is blue.[(((((triple8) -> rule3)) -> rule2) OR ((((((triple14) -> rule6)) -> rule3)) -> rule2) OR ((((((triple13 triple10) -> rule8)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple11) -> rule4) triple10) -> rule8)) -> rule3)) -> rule2))] @3: The mouse eats the tiger.[(((((((triple8) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple14) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple13 triple10) -> rule8)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule5)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((triple11) -> rule4) triple10) -> rule8)) -> rule3)) -> rule2)) -> rule7))]