The bear likes the cat. The cat eats the lion. The lion needs the bear. If someone needs the bear then they do not eat the cat. If the cat is young then the cat is not rough. Red people are big. If someone eats the lion then the lion is cold. If someone likes the lion then they eat the lion. If someone is cold then they like the lion. If someone eats the lion then they do not like the cat. If someone is cold and not big then they are not rough.
The lion is cold.
@0: The bear likes the cat.[(triple1)] The cat eats the lion.[(triple2)] The lion needs the bear.[(triple3)] @1: The cat does not like the cat.[(((triple2) -> rule7))] The lion does not eat the cat.[(((triple3) -> rule1))] The lion is cold.[(((triple2) -> rule4))] @2: The lion likes the lion.[(((((triple2) -> rule4)) -> rule6))] @3: The lion eats the lion.[(((((((triple2) -> rule4)) -> rule6)) -> rule5))] @4: The lion does not like the cat.[(((((((((triple2) -> rule4)) -> rule6)) -> rule5)) -> rule7))]