The cow visits the tiger. The mouse eats the tiger. The rabbit chases the tiger. The tiger chases the cow. If something is kind then it eats the rabbit. If something chases the cow then it is kind. All green things are rough. If something chases the mouse and it eats the rabbit then the rabbit is young. If something chases the tiger and the tiger chases the cow then the cow chases the tiger. If something chases the mouse then it visits the mouse. If something eats the mouse and it visits the rabbit then the mouse chases the tiger. If something is kind and it eats the cow then it chases the rabbit.
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If something is kind then it eats the rabbit.
((("something" "is" "kind" "+")) -> ("something" "eats" "rabbit" "+"))
If something chases the cow then it is kind.
((("something" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something chases the mouse and it eats the rabbit then the rabbit is young.
((("something" "chases" "mouse" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If something chases the tiger and the tiger chases the cow then the cow chases the tiger.
((("something" "chases" "tiger" "+") ("tiger" "chases" "cow" "+")) -> ("cow" "chases" "tiger" "+"))
If something chases the mouse then it visits the mouse.
((("something" "chases" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If something eats the mouse and it visits the rabbit then the mouse chases the tiger.
((("something" "eats" "mouse" "+") ("something" "visits" "rabbit" "+")) -> ("mouse" "chases" "tiger" "+"))
If something is kind and it eats the cow then it chases the rabbit.
((("something" "is" "kind" "+") ("something" "eats" "cow" "+")) -> ("something" "chases" "rabbit" "+"))
The rabbit chases the tiger.
True
1
proof
[(triple3)]
("rabbit" "chases" "tiger" "+")
triple3
The mouse does not eat the tiger.
False
1
inv-proof
[(triple2)]
("mouse" "eats" "tiger" "-")
triple2
The tiger is kind.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "is" "kind" "-")
((triple4) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger eats the rabbit.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("tiger" "eats" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger does not eat the rabbit.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("tiger" "eats" "rabbit" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "young" "+")
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "rough" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The tiger does not eat the mouse.
Unknown
inv-random
[@0: The tiger eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "mouse" "-")
The rabbit chases the mouse.
Unknown
random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "+")
@0: The cow visits the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The rabbit chases the tiger.[(triple3)] The tiger chases the cow.[(triple4)] @1: The cow chases the tiger.[(((triple3 triple4) -> rule5))] The tiger is kind.[(((triple4) -> rule2))] @2: The tiger eats the rabbit.[(((((triple4) -> rule2)) -> rule1))]
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple3
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((triple3 triple4) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2