The cat is big. The cat is blue. The cat is round. The cat needs the squirrel. The rabbit chases the squirrel. The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit needs the cat. The squirrel is round. The squirrel visits the cat. The squirrel visits the rabbit. If something chases the squirrel and the squirrel is blue then the squirrel chases the cat. If the squirrel is rough then the squirrel is big. If the cat needs the rabbit and the cat is big then the cat chases the rabbit. If something is rough and it visits the squirrel then the squirrel visits the rabbit. If the rabbit chases the squirrel then the rabbit visits the squirrel. If something needs the cat and it is round then it is blue.
The squirrel is not big.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat needs the squirrel.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit is big.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the cat.[(triple9)] The squirrel is round.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the rabbit.[(triple12 OR ((triple8 ((triple5) -> rule5)) -> rule4))] @1: The rabbit visits the squirrel.[(((triple5) -> rule5))]