The dog is big. The dog needs the rabbit. The dog does not see the mouse. The dog visits the mouse. The dog visits the rabbit. The mouse is big. The mouse is blue. The mouse is cold. The mouse is rough. The mouse needs the rabbit. The mouse sees the rabbit. The mouse visits the dog. The rabbit is red. The rabbit visits the dog. The rabbit visits the mouse. If someone sees the rabbit and the rabbit visits the mouse then the rabbit is rough. If someone is rough and they visit the dog then they see the rabbit. If someone visits the dog then the dog is rough. If someone is blue and they visit the dog then the dog needs the rabbit. If someone is rough then they do not need the dog. If someone visits the dog then they do not see the mouse. If someone is big and they do not need the dog then they are cold. If someone sees the dog and they do not see the rabbit then they do not need the rabbit.
The dog needs the mouse.
@0: The dog does not see the mouse.[(triple3)] The dog is big.[(triple1)] The dog needs the rabbit.[(triple2 OR ((triple7 triple12) -> rule4))] The dog visits the mouse.[(triple4)] The dog visits the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is cold.[(triple8 OR ((triple6 ((triple9) -> rule5)) -> rule7))] The mouse is rough.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse sees the rabbit.[(triple11 OR ((triple9 triple12) -> rule2))] The mouse visits the dog.[(triple12)] The rabbit is red.[(triple13)] The rabbit visits the dog.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The dog is rough.[(((triple12) -> rule3) OR ((triple14) -> rule3))] The mouse does not need the dog.[(((triple9) -> rule5))] The mouse does not see the mouse.[(((triple12) -> rule6))] The rabbit does not see the mouse.[(((triple14) -> rule6))] The rabbit is rough.[(((triple11 triple15) -> rule1) OR ((((triple9 triple12) -> rule2) triple15) -> rule1))] @2: The dog does not need the dog.[(((((triple12) -> rule3)) -> rule5) OR ((((triple14) -> rule3)) -> rule5))] The rabbit does not need the dog.[(((((triple11 triple15) -> rule1)) -> rule5) OR ((((((triple9 triple12) -> rule2) triple15) -> rule1)) -> rule5))] The rabbit sees the rabbit.[(((((triple11 triple15) -> rule1) triple14) -> rule2) OR ((((((triple9 triple12) -> rule2) triple15) -> rule1) triple14) -> rule2))] @3: The dog is cold.[(((triple1 ((((triple12) -> rule3)) -> rule5)) -> rule7) OR ((triple1 ((((triple14) -> rule3)) -> rule5)) -> rule7))]