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