The bear visits the tiger. The cat is kind. The mouse is green. The mouse is kind. The mouse sees the tiger. The tiger is rough. The tiger visits the cat. If something visits the bear then it sees the bear. If something sees the bear then the bear likes the cat. If something visits the cat then the cat visits the bear. If something sees the bear and the bear likes the cat then it is cold. Cold things are rough. If something is green and it likes the tiger then the tiger visits the mouse.
The cat is not cold.
@0: The bear visits the tiger.[(triple1)] The cat is kind.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4)] The mouse sees the tiger.[(triple5)] The tiger is rough.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat visits the bear.[(((triple7) -> rule3))] @2: The cat sees the bear.[(((((triple7) -> rule3)) -> rule1))] @3: The bear likes the cat.[(((((((triple7) -> rule3)) -> rule1)) -> rule2))] @4: The cat is cold.[(((((((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule4))] @5: The cat is rough.[(((((((((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule4)) -> rule5))]