The cat eats the mouse. The cat eats the rabbit. The cat is cold. The cat is kind. The cat is red. The cat is young. The cat needs the mouse. The cat visits the mouse. The cat visits the rabbit. The mouse eats the rabbit. The mouse is young. The mouse needs the cat. The rabbit eats the cat. The rabbit is kind. The rabbit visits the mouse. If someone needs the cat then they visit the rabbit. If someone needs the mouse then they need the rabbit. If the rabbit eats the mouse and the mouse eats the rabbit then the rabbit is red. If someone eats the mouse then they are round. If the mouse is young and the mouse visits the rabbit then the rabbit eats the cat. If someone eats the rabbit and the rabbit needs the cat then the cat eats the mouse. If someone eats the cat and the cat is cold then they visit the mouse. If someone visits the rabbit and the rabbit visits the mouse then they eat the cat.
The mouse is not kind.
@0: The cat eats the mouse.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is red.[(triple5)] The cat is young.[(triple6)] The cat needs the mouse.[(triple7)] The cat visits the mouse.[(triple8 OR ((((triple9 triple15) -> rule8) triple3) -> rule7) OR ((((triple9 ((triple13 triple3) -> rule7)) -> rule8) triple3) -> rule7) OR ((((triple9 ((((triple11 ((triple12) -> rule1)) -> rule5) triple3) -> rule7)) -> rule8) triple3) -> rule7))] The cat visits the rabbit.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is young.[(triple11)] The mouse needs the cat.[(triple12)] The rabbit eats the cat.[(triple13 OR ((triple11 ((triple12) -> rule1)) -> rule5))] The rabbit is kind.[(triple14)] The rabbit visits the mouse.[(triple15 OR ((triple13 triple3) -> rule7) OR ((((triple11 ((triple12) -> rule1)) -> rule5) triple3) -> rule7))] @1: The cat eats the cat.[(((triple9 triple15) -> rule8) OR ((triple9 ((triple13 triple3) -> rule7)) -> rule8) OR ((triple9 ((((triple11 ((triple12) -> rule1)) -> rule5) triple3) -> rule7)) -> rule8))] The cat is round.[(((triple1) -> rule4))] The cat needs the rabbit.[(((triple7) -> rule2))] The mouse visits the rabbit.[(((triple12) -> rule1))] @2: The mouse eats the cat.[(((((triple12) -> rule1) triple15) -> rule8) OR ((((triple12) -> rule1) ((triple13 triple3) -> rule7)) -> rule8) OR ((((triple12) -> rule1) ((((triple11 ((triple12) -> rule1)) -> rule5) triple3) -> rule7)) -> rule8))] @3: The mouse visits the mouse.[(((((((triple12) -> rule1) triple15) -> rule8) triple3) -> rule7) OR ((((((triple12) -> rule1) ((triple13 triple3) -> rule7)) -> rule8) triple3) -> rule7) OR ((((((triple12) -> rule1) ((((triple11 ((triple12) -> rule1)) -> rule5) triple3) -> rule7)) -> rule8) triple3) -> rule7))]