The cow is rough. The cow visits the squirrel. The mouse chases the cow. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse visits the cow. The squirrel chases the cow. The squirrel eats the mouse. If something eats the cow then it chases the squirrel. If something is kind then it eats the cow. If the cow chases the squirrel then the squirrel visits the cow. If something eats the cow then it is kind. If something eats the mouse then it visits the squirrel. If something visits the cow and the cow is rough then the cow is kind. If the squirrel visits the mouse and the mouse visits the squirrel then the mouse is big. If something visits the cow and the cow visits the mouse then the cow eats the mouse.
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
If something eats the cow then it chases the squirrel.
((("something" "eats" "cow" "+")) -> ("something" "chases" "squirrel" "+"))
If something is kind then it eats the cow.
((("something" "is" "kind" "+")) -> ("something" "eats" "cow" "+"))
If the cow chases the squirrel then the squirrel visits the cow.
((("cow" "chases" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If something eats the cow then it is kind.
((("something" "eats" "cow" "+")) -> ("something" "is" "kind" "+"))
If something eats the mouse then it visits the squirrel.
((("something" "eats" "mouse" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the cow and the cow is rough then the cow is kind.
((("something" "visits" "cow" "+") ("cow" "is" "rough" "+")) -> ("cow" "is" "kind" "+"))
If the squirrel visits the mouse and the mouse visits the squirrel then the mouse is big.
((("squirrel" "visits" "mouse" "+") ("mouse" "visits" "squirrel" "+")) -> ("mouse" "is" "big" "+"))
If something visits the cow and the cow visits the mouse then the cow eats the mouse.
((("something" "visits" "cow" "+") ("cow" "visits" "mouse" "+")) -> ("cow" "eats" "mouse" "+"))
The squirrel eats the mouse.
True
1
proof
[(triple10)]
("squirrel" "eats" "mouse" "+")
triple10
The cow is not rough.
False
1
inv-proof
[(triple1)]
("cow" "is" "rough" "-")
triple1
The mouse is kind.
True
2
proof
[(((triple4) -> rule4))]
("mouse" "is" "kind" "+")
((triple4) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse does not chase the squirrel.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "chases" "squirrel" "-")
((triple4) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The cow eats the cow.
True
4
proof
[(((((triple8 triple1) -> rule6)) -> rule2))]
("cow" "eats" "cow" "+")
((((triple8 triple1) -> (rule6 % int2))) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow does not eat the cow.
False
4
inv-proof
[(((((triple8 triple1) -> rule6)) -> rule2))]
("cow" "eats" "cow" "-")
((((triple8 triple1) -> (rule6 % int2))) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow chases the squirrel.
True
5
proof
[(((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1))]
("cow" "chases" "squirrel" "+")
((((((triple8 triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow does not chase the squirrel.
False
5
inv-proof
[(((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1))]
("cow" "chases" "squirrel" "-")
((((((triple8 triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel is not kind.
Unknown
inv-rconc
[@2: The squirrel is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("squirrel" "is" "kind" "-")
The cow eats the mouse.
Unknown
rconc
[@1: The cow eats the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "mouse" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@3: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel eats the cow.
Unknown
rconc
[@2: The squirrel eats the cow.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("squirrel" "eats" "cow" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The squirrel chases the mouse.
Unknown
random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The cow is rough.[(triple1)] The cow visits the squirrel.[(triple2)] The mouse chases the cow.[(triple3)] The mouse eats the cow.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the cow.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel eats the mouse.[(triple10)] @1: The cow is kind.[(((triple8 triple1) -> rule6))] The mouse chases the squirrel.[(((triple4) -> rule1))] The mouse is kind.[(((triple4) -> rule4))] The squirrel visits the squirrel.[(((triple10) -> rule5))] @2: The cow eats the cow.[(((((triple8 triple1) -> rule6)) -> rule2))] @3: The cow chases the squirrel.[(((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1))] @4: The squirrel visits the cow.[(((((((((triple8 triple1) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple4
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple8
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
((triple8 triple1) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple4) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple4) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple10) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple8 triple1) -> (rule6 % int2))) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((((triple8 triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((((((((triple8 triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4