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