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