The dog is cold. The dog visits the rabbit. The rabbit is big. The rabbit is cold. The squirrel is big. The squirrel is blue. The squirrel needs the tiger. The squirrel visits the rabbit. The tiger is blue. The tiger visits the rabbit. If the dog needs the tiger then the tiger visits the dog. If someone visits the tiger and the tiger needs the squirrel then they eat the tiger. All big people are red. If someone visits the dog then the dog visits the rabbit. If someone eats the tiger then the tiger visits the dog. If someone needs the squirrel and the squirrel is blue then they eat the tiger. If someone is nice and blue then they visit the rabbit. If someone visits the rabbit then they need the squirrel.
The dog needs the squirrel.
@0: The dog is cold.[(triple1)] The dog visits the rabbit.[(triple2 OR ((((((((triple10) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple8) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4))] The rabbit is big.[(triple3)] The rabbit is cold.[(triple4)] The squirrel is big.[(triple5)] The squirrel is blue.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The dog needs the squirrel.[(((triple2) -> rule8) OR ((((((((((triple10) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4)) -> rule8) OR ((((((((((triple8) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4)) -> rule8))] The rabbit is red.[(((triple3) -> rule3))] The squirrel is red.[(((triple5) -> rule3))] The squirrel needs the squirrel.[(((triple8) -> rule8))] The tiger needs the squirrel.[(((triple10) -> rule8))] @2: The dog eats the tiger.[(((((triple2) -> rule8) triple6) -> rule6) OR ((((((((((((triple10) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4)) -> rule8) triple6) -> rule6) OR ((((((((((((triple8) -> rule8) triple6) -> rule6)) -> rule5)) -> rule4)) -> rule8) triple6) -> rule6))] The squirrel eats the tiger.[(((((triple8) -> rule8) triple6) -> rule6))] The tiger eats the tiger.[(((((triple10) -> rule8) triple6) -> rule6))] @3: The tiger visits the dog.[(((((((triple10) -> rule8) triple6) -> rule6)) -> rule5) OR ((((((triple2) -> rule8) triple6) -> rule6)) -> rule5) OR ((((((triple8) -> rule8) triple6) -> rule6)) -> rule5))]