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