The cow eats the rabbit. The cow eats the squirrel. The cow is green. The cow is kind. The cow is young. The cow does not need the rabbit. The cow visits the rabbit. The rabbit is not kind. The rabbit is nice. The rabbit is young. The rabbit does not visit the cow. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is green. The squirrel is kind. If someone is kind and they visit the cow then they eat the squirrel. If someone is kind then they eat the squirrel. If someone needs the rabbit then the rabbit is round. If someone needs the rabbit and the rabbit needs the cow then the cow does not need the rabbit. If someone needs the squirrel and the squirrel is kind then they are young. If someone visits the squirrel then they are nice. If someone is green then they do not visit the cow. If someone eats the squirrel then they visit the squirrel.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone is kind and they visit the cow then they eat the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is kind then they eat the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the rabbit then the rabbit is round.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone needs the rabbit and the rabbit needs the cow then the cow does not need the rabbit.
((("someone" "needs" "rabbit" "+") ("rabbit" "needs" "cow" "+")) -> ("cow" "needs" "rabbit" "-"))
If someone needs the squirrel and the squirrel is kind then they are young.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone visits the squirrel then they are nice.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they do not visit the cow.
((("someone" "is" "green" "+")) -> ("someone" "visits" "cow" "-"))
If someone eats the squirrel then they visit the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
The cow is green.
True
1
proof
[(triple3)]
("cow" "is" "green" "+")
triple3
The squirrel is not kind.
False
1
inv-proof
[(triple15)]
("squirrel" "is" "kind" "-")
triple15
The cow visits the squirrel.
True
2
proof
[(((triple2) -> rule8) OR ((((triple4) -> rule2)) -> rule8))]
("cow" "visits" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple15) -> rule2))]
("squirrel" "eats" "squirrel" "-")
((triple15) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
True
3
proof
[(((((triple15) -> rule2)) -> rule8))]
("squirrel" "visits" "squirrel" "+")
((((triple15) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule8))]
("squirrel" "visits" "squirrel" "-")
((((triple15) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is nice.
True
4
proof
[(((((((triple15) -> rule2)) -> rule8)) -> rule6))]
("squirrel" "is" "nice" "+")
((((((triple15) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is not nice.
False
4
inv-proof
[(((((((triple15) -> rule2)) -> rule8)) -> rule6))]
("squirrel" "is" "nice" "-")
((((((triple15) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "round" "-")
The rabbit eats the squirrel.
Unknown
rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "squirrel" "+")
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "young" "-")
The rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The squirrel does not need the rabbit.
Unknown
inv-random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cow does not need the rabbit.[(triple6)] The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2 OR ((triple4) -> rule2))] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow visits the rabbit.[(triple7)] The rabbit does not visit the cow.[(triple11)] The rabbit is nice.[(triple9 OR ((triple12) -> rule6))] The rabbit is not kind.[(triple8)] The rabbit is young.[(triple10)] The rabbit visits the squirrel.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is green.[(triple14)] The squirrel is kind.[(triple15)] @1: The cow does not visit the cow.[(((triple3) -> rule7))] The cow visits the squirrel.[(((triple2) -> rule8) OR ((((triple4) -> rule2)) -> rule8))] The squirrel does not visit the cow.[(((triple14) -> rule7))] The squirrel eats the squirrel.[(((triple15) -> rule2))] @2: The cow is nice.[(((((triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8)) -> rule6))] The squirrel visits the squirrel.[(((((triple15) -> rule2)) -> rule8))] @3: The squirrel is nice.[(((((((triple15) -> rule2)) -> rule8)) -> rule6))]
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
((triple4) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
((triple12) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple12
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The cow does not visit the cow.
("cow" "visits" "cow" "-")
((triple3) -> (rule7 % int1))
The cow does not visit the cow.
("cow" "visits" "cow" "-")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule8 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
((triple14) -> (rule7 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int3
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple15) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((((triple15) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3