The mouse is big. The mouse is kind. The mouse is round. The mouse likes the rabbit. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is not big. The rabbit is nice. The rabbit is round. The rabbit needs the mouse. If the rabbit likes the mouse and the mouse does not like the rabbit then the rabbit does not need the mouse. If something needs the mouse and it is not nice then it needs the rabbit. If something is kind then it likes the mouse. If something likes the rabbit and it is kind then it sees the rabbit. If something needs the mouse and the mouse does not like the rabbit then the rabbit does not like the mouse. If the rabbit is nice then the rabbit is not cold. If the mouse needs the rabbit and the mouse is cold then the mouse is not round. If something is cold then it sees the mouse.
The mouse needs the mouse.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple2)] The mouse is round.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The mouse sees the rabbit.[(triple6 OR ((triple4 triple2) -> rule4))] The rabbit is nice.[(triple8)] The rabbit is not big.[(triple7)] The rabbit is round.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The mouse likes the mouse.[(((triple2) -> rule3))] The rabbit is not cold.[(((triple8) -> rule6))]