The cow is green. The cow visits the lion. The dog chases the cow. The dog chases the lion. The dog chases the mouse. The dog eats the lion. The lion chases the mouse. The lion eats the cow. The lion eats the mouse. The lion is nice. The lion visits the mouse. The mouse chases the lion. If someone eats the mouse then they visit the dog. If someone visits the mouse and the mouse is nice then they are nice. If someone eats the mouse and the mouse visits the lion then the lion chases the mouse. If someone eats the mouse and the mouse chases the cow then they chase the dog. If someone chases the mouse then the mouse is round. If someone visits the dog then they are young. If someone chases the mouse and they eat the dog then the mouse is blue. If someone chases the mouse and the mouse eats the cow then the cow visits the lion.
The cow is green.
("cow" "is" "green" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
If someone eats the mouse then they visit the dog.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the mouse and the mouse is nice then they are nice.
((("someone" "visits" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the mouse and the mouse visits the lion then the lion chases the mouse.
((("someone" "eats" "mouse" "+") ("mouse" "visits" "lion" "+")) -> ("lion" "chases" "mouse" "+"))
If someone eats the mouse and the mouse chases the cow then they chase the dog.
((("someone" "eats" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the mouse then the mouse is round.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If someone visits the dog then they are young.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "young" "+"))
If someone chases the mouse and they eat the dog then the mouse is blue.
((("someone" "chases" "mouse" "+") ("someone" "eats" "dog" "+")) -> ("mouse" "is" "blue" "+"))
If someone chases the mouse and the mouse eats the cow then the cow visits the lion.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "cow" "+")) -> ("cow" "visits" "lion" "+"))
The lion visits the mouse.
True
1
proof
[(triple11)]
("lion" "visits" "mouse" "+")
triple11
The mouse does not chase the lion.
False
1
inv-proof
[(triple12)]
("mouse" "chases" "lion" "-")
triple12
The mouse is round.
True
2
proof
[(((triple5) -> rule5) OR ((triple7) -> rule5))]
("mouse" "is" "round" "+")
((triple5) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple7) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple5) -> rule5) OR ((triple7) -> rule5))]
("mouse" "is" "round" "-")
((triple5) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple7) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@2: The cow is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("cow" "is" "young" "-")
The mouse chases the dog.
Unknown
rconc
[@1: The mouse chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "chases" "dog" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is green.[(triple1)] The cow visits the lion.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the lion.[(triple4)] The dog chases the mouse.[(triple5)] The dog eats the lion.[(triple6)] The lion chases the mouse.[(triple7)] The lion eats the cow.[(triple8)] The lion eats the mouse.[(triple9)] The lion is nice.[(triple10)] The lion visits the mouse.[(triple11)] The mouse chases the lion.[(triple12)] @1: The lion visits the dog.[(((triple9) -> rule1))] The mouse is round.[(((triple5) -> rule5) OR ((triple7) -> rule5))] @2: The lion is young.[(((((triple9) -> rule1)) -> rule6))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow visits the lion.
("cow" "visits" "lion" "+")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple7
The lion eats the cow.
("lion" "eats" "cow" "+")
triple8
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple11
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple12
The lion visits the dog.
("lion" "visits" "dog" "+")
((triple9) -> (rule1 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple5) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple7) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2