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