The cow is kind. The dog is round. The rabbit is kind. The tiger sees the dog. If the tiger likes the rabbit then the rabbit is kind. If something sees the dog then it likes the rabbit. If something is kind then it sees the rabbit. If something likes the rabbit then it is round. If something sees the cow and it likes the cow then it sees the tiger. All round things are kind. If something sees the rabbit then the rabbit visits the tiger. If the dog likes the tiger then the tiger sees the cow.
The rabbit does not see the rabbit.
@0: The cow is kind.[(triple1)] The dog is round.[(triple2)] The rabbit is kind.[(triple3 OR ((((triple4) -> rule2)) -> rule1))] The tiger sees the dog.[(triple4)] @1: The cow sees the rabbit.[(((triple1) -> rule3))] The dog is kind.[(((triple2) -> rule6))] The rabbit sees the rabbit.[(((triple3) -> rule3) OR ((((((triple4) -> rule2)) -> rule1)) -> rule3))] The tiger likes the rabbit.[(((triple4) -> rule2))] @2: The dog sees the rabbit.[(((((triple2) -> rule6)) -> rule3))] The rabbit visits the tiger.[(((((triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule3)) -> rule7) OR ((((((triple2) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule7) OR ((((((((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3)) -> rule7))] The tiger is round.[(((((triple4) -> rule2)) -> rule4))] @3: The tiger is kind.[(((((((triple4) -> rule2)) -> rule4)) -> rule6))] @4: The tiger sees the rabbit.[(((((((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule3))]