The cat chases the cow. The cat eats the tiger. The cat is green. The cow chases the cat. The mouse chases the tiger. The tiger chases the cat. The tiger chases the cow. The tiger eats the cow. The tiger is red. The tiger visits the cat. If something visits the cat then it eats the mouse. If something visits the tiger then it eats the cat. If something eats the mouse and it visits the cat then it is nice.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something visits the cat then it eats the mouse.
((("something" "visits" "cat" "+")) -> ("something" "eats" "mouse" "+"))
If something visits the tiger then it eats the cat.
((("something" "visits" "tiger" "+")) -> ("something" "eats" "cat" "+"))
If something eats the mouse and it visits the cat then it is nice.
((("something" "eats" "mouse" "+") ("something" "visits" "cat" "+")) -> ("something" "is" "nice" "+"))
The mouse chases the tiger.
True
1
proof
[(triple5)]
("mouse" "chases" "tiger" "+")
triple5
The cow does not chase the cat.
False
1
inv-proof
[(triple4)]
("cow" "chases" "cat" "-")
triple4
The tiger eats the mouse.
True
2
proof
[(((triple10) -> rule1))]
("tiger" "eats" "mouse" "+")
((triple10) -> (rule1 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger does not eat the mouse.
False
2
inv-proof
[(((triple10) -> rule1))]
("tiger" "eats" "mouse" "-")
((triple10) -> (rule1 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger is nice.
True
4
proof
[(((((triple10) -> rule1) triple10) -> rule3))]
("tiger" "is" "nice" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger is not nice.
False
4
inv-proof
[(((((triple10) -> rule1) triple10) -> rule3))]
("tiger" "is" "nice" "-")
((((triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "cat" "-")
The cat eats the mouse.
Unknown
rconc
[@1: The cat eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "mouse" "+")
The cow does not eat the mouse.
Unknown
inv-rconc
[@1: The cow eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "mouse" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The cat chases the cow.[(triple1)] The cat eats the tiger.[(triple2)] The cat is green.[(triple3)] The cow chases the cat.[(triple4)] The mouse chases the tiger.[(triple5)] The tiger chases the cat.[(triple6)] The tiger chases the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is red.[(triple9)] The tiger visits the cat.[(triple10)] @1: The tiger eats the mouse.[(((triple10) -> rule1))] @2: The tiger is nice.[(((((triple10) -> rule1) triple10) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple5
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
((triple10) -> (rule1 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2