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