The rabbit eats the squirrel. The rabbit is kind. The rabbit is rough. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel is kind. The squirrel visits the rabbit. If something visits the squirrel and the squirrel eats the rabbit then it is kind. If the rabbit eats the squirrel then the rabbit visits the squirrel. If something is green then it visits the squirrel. If something visits the rabbit and it eats the squirrel then it is cold. If something eats the squirrel then the squirrel visits the rabbit. If something visits the squirrel then it eats the squirrel.
The squirrel is not cold.
@0: The rabbit eats the squirrel.[(triple1 OR ((triple5) -> rule6))] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit visits the squirrel.[(triple5 OR ((triple1) -> rule2))] The squirrel is kind.[(triple6)] The squirrel visits the rabbit.[(triple7 OR ((triple1) -> rule5) OR ((((triple5) -> rule6)) -> rule5))]