The cow is blue. The cow is cold. The cow is kind. The lion chases the cow. The lion is blue. The lion likes the cow. The lion visits the cow. If someone chases the lion then they visit the lion. If someone likes the lion then they chase the lion. If someone chases the cow then the cow is cold. If someone is cold then they are blue. If someone likes the cow then they chase the cow. If someone chases the lion then the lion likes the cow. If someone is blue then they like the lion. If someone chases the cow and the cow visits the lion then they are blue.
The lion chases the lion.
@0: The cow is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3)) -> rule4))] The cow is cold.[(triple2 OR ((triple4) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3))] The cow is kind.[(triple3)] The lion chases the cow.[(triple4 OR ((triple6) -> rule5) OR ((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5) OR ((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5))] The lion is blue.[(triple5 OR ((triple4 ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((triple6) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((triple6) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((triple6) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((triple6) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8) OR ((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8))] The lion likes the cow.[(triple6 OR ((((((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((triple5) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple4 ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple4 ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple4 ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule6))] The lion visits the cow.[(triple7)] @1: The cow likes the lion.[(((triple1) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((((((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7) OR ((((((((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3)) -> rule4)) -> rule7))] The lion likes the lion.[(((triple5) -> rule7) OR ((((triple4 ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7))] @2: The cow chases the lion.[(((((triple1) -> rule7)) -> rule2) OR ((((((triple2) -> rule4)) -> rule7)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2))] The lion chases the lion.[(((((triple5) -> rule7)) -> rule2) OR ((((((triple4 ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple6) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple4 ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple6) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple4 ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple6) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple4 ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple6) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2) OR ((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2))] @3: The cow visits the lion.[(((((((triple1) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1))] The lion visits the lion.[(((((((triple5) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4 ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple6) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4 ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple6) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4 ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple6) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4 ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((triple6) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1) OR ((((((((((((((((((triple2) -> rule4)) -> rule7)) -> rule2)) -> rule6)) -> rule5) ((((((((((((triple6) -> rule5)) -> rule3)) -> rule4)) -> rule7)) -> rule2)) -> rule1)) -> rule8)) -> rule7)) -> rule2)) -> rule1))]