The bear is nice. The cat needs the cow. The cow visits the cat. If someone visits the cat and they are round then they visit the bear. If someone likes the cat and the cat visits the bear then they are big. If someone is nice then they need the cat. If someone is nice then they are round. If someone is round then they are cold. If someone is cold and nice then they need the cow. If someone likes the cat then the cat needs the bear. If someone likes the bear and the bear visits the cat then the bear needs the cow.
The bear is cold.
@0: The bear is nice.[(triple1)] The cat needs the cow.[(triple2)] The cow visits the cat.[(triple3)] @1: The bear is round.[(((triple1) -> rule4))] The bear needs the cat.[(((triple1) -> rule3))] @2: The bear is cold.[(((((triple1) -> rule4)) -> rule5))] @3: The bear needs the cow.[(((((((triple1) -> rule4)) -> rule5) triple1) -> rule6))]