The dog likes the rabbit. The lion visits the rabbit. The mouse sees the lion. The rabbit is kind. The rabbit is red. The rabbit sees the lion. The rabbit visits the lion. If something likes the lion then it is nice. If something visits the mouse and the mouse visits the lion then the lion likes the rabbit. If something visits the dog and it is cold then it is round. If something visits the dog then the dog sees the mouse. If something likes the dog and it visits the mouse then it sees the lion. If the rabbit is kind then the rabbit sees the lion.
The mouse sees the lion.
@0: The dog likes the rabbit.[(triple1)] The lion visits the rabbit.[(triple2)] The mouse sees the lion.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is red.[(triple5)] The rabbit sees the lion.[(triple6 OR ((triple4) -> rule6))] The rabbit visits the lion.[(triple7)]