The rabbit is kind. The rabbit is red. The rabbit visits the tiger. The tiger is cold. The tiger is red. The tiger sees the rabbit. The tiger visits the rabbit. If something is round and kind then it visits the rabbit. Round things are green. If something visits the tiger then the tiger is green. If something visits the tiger and it needs the tiger then the tiger visits the rabbit. If the tiger visits the rabbit then the rabbit sees the tiger. If something visits the rabbit then the rabbit visits the tiger. If something is round then it sees the rabbit. All kind things are green.
The tiger does not visit the rabbit.
@0: The rabbit is kind.[(triple1)] The rabbit is red.[(triple2)] The rabbit visits the tiger.[(triple3 OR ((triple7) -> rule6))] The tiger is cold.[(triple4)] The tiger is red.[(triple5)] The tiger sees the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The rabbit is green.[(((triple1) -> rule8))] The rabbit sees the tiger.[(((triple7) -> rule5))] The tiger is green.[(((triple3) -> rule3) OR ((((triple7) -> rule6)) -> rule3))]