The bear chases the cat. The cat does not chase the bear. The cat is big. The cat likes the mouse. The mouse chases the bear. The tiger chases the mouse. The tiger visits the mouse. If something likes the tiger then the tiger does not chase the cat. If something visits the mouse and it chases the cat then the cat likes the tiger. If something likes the tiger and the tiger chases the mouse then the tiger is big. If something is big then it does not like the cat. If something is red then it likes the tiger. If the bear chases the tiger and the tiger chases the mouse then the bear chases the mouse. Big things are red. If something visits the tiger and it is not big then the tiger visits the cat.
The tiger is not big.
@0: The bear chases the cat.[(triple1)] The cat does not chase the bear.[(triple2)] The cat is big.[(triple3)] The cat likes the mouse.[(triple4)] The mouse chases the bear.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The cat does not like the cat.[(((triple3) -> rule4))] The cat is red.[(((triple3) -> rule7))] @2: The cat likes the tiger.[(((((triple3) -> rule7)) -> rule5))] @3: The tiger does not chase the cat.[(((((((triple3) -> rule7)) -> rule5)) -> rule1) OR ((((((((((((triple3) -> rule7)) -> rule5) triple6) -> rule3)) -> rule7)) -> rule5)) -> rule1))] The tiger is big.[(((((((triple3) -> rule7)) -> rule5) triple6) -> rule3))] @4: The tiger does not like the cat.[(((((((((triple3) -> rule7)) -> rule5) triple6) -> rule3)) -> rule4))] The tiger is red.[(((((((((triple3) -> rule7)) -> rule5) triple6) -> rule3)) -> rule7))] @5: The tiger likes the tiger.[(((((((((((triple3) -> rule7)) -> rule5) triple6) -> rule3)) -> rule7)) -> rule5))]