The bear is cold. The bear is rough. The bear sees the cat. The cat is rough. The dog eats the bear. The mouse eats the bear. The mouse is rough. If someone likes the cat then they are rough. If someone likes the cat then the cat is cold. If someone is rough and cold then they like the cat.
The bear is cold.
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear sees the cat.[(triple3)] The cat is rough.[(triple4)] The dog eats the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is rough.[(triple7)] @1: The bear likes the cat.[(((triple2 triple1) -> rule3))] @2: The cat is cold.[(((((triple2 triple1) -> rule3)) -> rule2))] @3: The cat likes the cat.[(((triple4 ((((triple2 triple1) -> rule3)) -> rule2)) -> rule3))]