The bear chases the cat. The bear needs the cat. The cat chases the bear. The cat is rough. The mouse is rough. The mouse is round. The rabbit needs the bear. If someone needs the cat then they are cold. If someone chases the rabbit and the rabbit visits the bear then the rabbit needs the mouse. If someone visits the bear then the bear visits the rabbit. If someone visits the mouse and the mouse chases the cat then the cat chases the bear. If someone chases the rabbit then the rabbit chases the mouse. If someone is cold then they chase the cat. If someone is round then they need the cat. If someone is red and they need the bear then the bear is rough.
The rabbit is not cold.
@0: The bear chases the cat.[(triple1 OR ((((triple2) -> rule1)) -> rule6))] The bear needs the cat.[(triple2)] The cat chases the bear.[(triple3)] The cat is rough.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The bear is cold.[(((triple2) -> rule1))] The mouse needs the cat.[(((triple6) -> rule7))] @2: The mouse is cold.[(((((triple6) -> rule7)) -> rule1))] @3: The mouse chases the cat.[(((((((triple6) -> rule7)) -> rule1)) -> rule6))]