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