The bear visits the rabbit. The rabbit chases the tiger. The rabbit is kind. The tiger chases the bear. The tiger is round. The tiger visits the bear. The tiger visits the rabbit. If the tiger sees the bear and the tiger is red then the tiger chases the rabbit. If something is nice then it sees the bear. If something chases the rabbit then the rabbit chases the tiger. If something is round and it visits the bear then the bear is nice. If something sees the rabbit then the rabbit is kind. If something sees the bear and the bear visits the rabbit then the rabbit visits the bear. If something visits the tiger and it chases the tiger then the tiger visits the rabbit. If something is kind then it sees the tiger.
The rabbit does not see the bear.
@0: The bear visits the rabbit.[(triple1)] The rabbit chases the tiger.[(triple2)] The rabbit is kind.[(triple3)] The tiger chases the bear.[(triple4)] The tiger is round.[(triple5)] The tiger visits the bear.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The bear is nice.[(((triple5 triple6) -> rule4))] The rabbit sees the tiger.[(((triple3) -> rule8))] @2: The bear sees the bear.[(((((triple5 triple6) -> rule4)) -> rule2))] @3: The rabbit visits the bear.[(((((((triple5 triple6) -> rule4)) -> rule2) triple1) -> rule6))]