The bear eats the squirrel. The bear is cold. The bear is red. The bear is round. The bear sees the squirrel. The bear visits the cow. The cow eats the squirrel. The squirrel is blue. The squirrel is round. The squirrel sees the cow. The squirrel visits the bear. The squirrel visits the cow. If something sees the cow then the cow is kind. If something is kind then it is cold.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something sees the cow then the cow is kind.
((("something" "sees" "cow" "+")) -> ("cow" "is" "kind" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
The cow eats the squirrel.
True
1
proof
[(triple7)]
("cow" "eats" "squirrel" "+")
triple7
The bear does not visit the cow.
False
1
inv-proof
[(triple6)]
("bear" "visits" "cow" "-")
triple6
The cow is kind.
True
2
proof
[(((triple10) -> rule1))]
("cow" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple10) -> rule1))]
("cow" "is" "kind" "-")
((triple10) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is cold.
True
3
proof
[(((((triple10) -> rule1)) -> rule2))]
("cow" "is" "cold" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule2))]
("cow" "is" "cold" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The cow sees the bear.
Unknown
random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "+")
The squirrel does not eat the cow.
Unknown
inv-random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear sees the squirrel.[(triple5)] The bear visits the cow.[(triple6)] The cow eats the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is round.[(triple9)] The squirrel sees the cow.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow is kind.[(((triple10) -> rule1))] @2: The cow is cold.[(((((triple10) -> rule1)) -> rule2))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2