The bear is kind. The bear needs the rabbit. The bear visits the rabbit. The cat is big. The cat likes the bear. The cat likes the rabbit. The cat needs the bear. The rabbit is kind. The rabbit needs the bear. The rabbit visits the cat. If someone is blue then they visit the cat. If the bear needs the rabbit and the bear visits the cat then the rabbit is rough. All kind people are blue. If someone likes the rabbit then the rabbit likes the cat. If someone needs the rabbit and the rabbit is cold then they are rough. If someone likes the rabbit then the rabbit needs the bear. If someone likes the rabbit and they visit the cat then the rabbit visits the bear. If the rabbit is kind then the rabbit likes the cat.
The bear is not cold.
@0: The bear is kind.[(triple1)] The bear needs the rabbit.[(triple2)] The bear visits the rabbit.[(triple3)] The cat is big.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The cat needs the bear.[(triple7)] The rabbit is kind.[(triple8)] The rabbit needs the bear.[(triple9 OR ((triple6) -> rule6))] The rabbit visits the cat.[(triple10 OR ((((triple8) -> rule3)) -> rule1))] @1: The bear is blue.[(((triple1) -> rule3))] The rabbit is blue.[(((triple8) -> rule3))] The rabbit likes the cat.[(((triple6) -> rule4) OR ((triple8) -> rule8))] @2: The bear visits the cat.[(((((triple1) -> rule3)) -> rule1))] @3: The rabbit is rough.[(((triple2 ((((triple1) -> rule3)) -> rule1)) -> rule2))]