The mouse eats the rabbit. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is rough. The rabbit is round. The rabbit likes the mouse. The rabbit visits the mouse. If something is round and it eats the mouse then it likes the mouse.
The mouse is big.
@0: The mouse eats the rabbit.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is rough.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the mouse.[(triple11 OR ((triple10 triple8) -> rule1))] The rabbit visits the mouse.[(triple12)]