The lion eats the rabbit. The lion is cold. The lion is nice. The lion sees the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit sees the lion. The rabbit visits the lion. If someone sees the rabbit and the rabbit eats the lion then they visit the lion. If someone is blue then they see the lion. If someone visits the lion then they visit the rabbit.
The lion does not see the lion.
@0: The lion eats the rabbit.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3)] The lion sees the rabbit.[(triple4)] The lion visits the rabbit.[(triple5 OR ((((triple4 triple6) -> rule1)) -> rule3))] The rabbit eats the lion.[(triple6)] The rabbit is big.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The rabbit sees the lion.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion visits the lion.[(((triple4 triple6) -> rule1))] The rabbit visits the rabbit.[(((triple12) -> rule3))]