The cow eats the squirrel. The cow is blue. The cow visits the squirrel. The squirrel eats the cow. The squirrel is rough. The squirrel is round. The squirrel visits the cow. If something visits the cow then it is round. If something eats the cow then the cow visits the squirrel. If something is green then it eats the squirrel. All blue things are green. If something eats the cow and the cow visits the squirrel then the cow is blue. If something visits the squirrel and it is green then it is round.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something visits the cow then it is round.
((("something" "visits" "cow" "+")) -> ("something" "is" "round" "+"))
If something eats the cow then the cow visits the squirrel.
((("something" "eats" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
If something is green then it eats the squirrel.
((("something" "is" "green" "+")) -> ("something" "eats" "squirrel" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something eats the cow and the cow visits the squirrel then the cow is blue.
((("something" "eats" "cow" "+") ("cow" "visits" "squirrel" "+")) -> ("cow" "is" "blue" "+"))
If something visits the squirrel and it is green then it is round.
((("something" "visits" "squirrel" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
The cow is blue.
True
1
proof
[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5))]
("cow" "is" "blue" "+")
triple2
((triple4 triple3) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
The squirrel is not round.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule1))]
("squirrel" "is" "round" "-")
triple6
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@2: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow eats the squirrel.[(triple1 OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple4 triple3) -> rule5)) -> rule4)) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3))] The cow is blue.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5))] The cow visits the squirrel.[(triple3 OR ((triple4) -> rule2))] The squirrel eats the cow.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6 OR ((triple7) -> rule1))] The squirrel visits the cow.[(triple7)] @1: The cow is green.[(((triple2) -> rule4) OR ((((triple4 triple3) -> rule5)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4))] @2: The cow is round.[(((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((triple3 ((((triple4 triple3) -> rule5)) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((((triple4 triple3) -> rule5)) -> rule4)) -> rule6) OR ((triple3 ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule6))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((((triple4 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple4 ((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
triple2
((triple4 triple3) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
((triple4) -> (rule2 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
((triple2) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple4 triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
The cow is round.
("cow" "is" "round" "+")
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int3
((triple3 ((((triple4 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((triple4) -> (rule2 % int4)) ((((triple4 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int4
((triple3 ((((triple4 ((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple4 ((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int4