The bear chases the tiger. The dog chases the bear. The dog needs the bear. The mouse chases the tiger. The mouse is red. The mouse needs the tiger. The tiger visits the dog. If the dog is cold and the dog visits the mouse then the dog needs the tiger. If something chases the dog then the dog is cold. All cold things are red. Red things are kind. If something chases the tiger and it is kind then it visits the tiger. If something is cold and it visits the tiger then the tiger is red. If the mouse is kind then the mouse is rough. If something visits the dog and the dog chases the bear then the bear is cold. If something is rough then it needs the mouse.
The bear does not visit the tiger.
@0: The bear chases the tiger.[(triple1)] The dog chases the bear.[(triple2)] The dog needs the bear.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse is red.[(triple5)] The mouse needs the tiger.[(triple6)] The tiger visits the dog.[(triple7)] @1: The bear is cold.[(((triple7 triple2) -> rule8))] The mouse is kind.[(((triple5) -> rule4))] @2: The bear is red.[(((((triple7 triple2) -> rule8)) -> rule3))] The mouse is rough.[(((((triple5) -> rule4)) -> rule7))] The mouse visits the tiger.[(((triple4 ((triple5) -> rule4)) -> rule5))] @3: The bear is kind.[(((((((triple7 triple2) -> rule8)) -> rule3)) -> rule4))] The mouse needs the mouse.[(((((((triple5) -> rule4)) -> rule7)) -> rule9))] @4: The bear visits the tiger.[(((triple1 ((((((triple7 triple2) -> rule8)) -> rule3)) -> rule4)) -> rule5))] @5: The tiger is red.[(((((triple7 triple2) -> rule8) ((triple1 ((((((triple7 triple2) -> rule8)) -> rule3)) -> rule4)) -> rule5)) -> rule6))] @6: The tiger is kind.[(((((((triple7 triple2) -> rule8) ((triple1 ((((((triple7 triple2) -> rule8)) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule4))]