The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow likes the lion. The cow sees the lion. The cow visits the lion. The lion is not nice. The lion is not red. The lion likes the cow. The lion sees the cow. The lion visits the cow. If something likes the cow then it is kind. If something visits the cow and the cow sees the lion then the cow likes the lion. If something is round then it sees the lion. If the lion is round then the lion visits the cow. If the cow is blue then the cow sees the lion. If the cow likes the lion then the lion is round.
The lion is not round.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow likes the lion.[(triple5 OR ((triple12 triple6) -> rule2) OR ((triple12 ((triple1) -> rule5)) -> rule2))] The cow sees the lion.[(triple6 OR ((triple1) -> rule5))] The cow visits the lion.[(triple7)] The lion is not nice.[(triple8)] The lion is not red.[(triple9)] The lion likes the cow.[(triple10)] The lion sees the cow.[(triple11)] The lion visits the cow.[(triple12 OR ((((triple5) -> rule6)) -> rule4))] @1: The lion is kind.[(((triple10) -> rule1))] The lion is round.[(((triple5) -> rule6) OR ((((triple12 triple6) -> rule2)) -> rule6) OR ((((triple12 ((triple1) -> rule5)) -> rule2)) -> rule6))] @2: The lion sees the lion.[(((((triple5) -> rule6)) -> rule3) OR ((((((triple12 triple6) -> rule2)) -> rule6)) -> rule3) OR ((((((triple12 ((triple1) -> rule5)) -> rule2)) -> rule6)) -> rule3))]