The bald eagle visits the squirrel. The bear sees the squirrel. The squirrel chases the bald eagle. If someone sees the squirrel then the squirrel visits the bear. If someone chases the bear and they visit the squirrel then the squirrel visits the bear. If someone visits the squirrel and the squirrel visits the bear then the bear is nice.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If someone sees the squirrel then the squirrel visits the bear.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone chases the bear and they visit the squirrel then the squirrel visits the bear.
((("someone" "chases" "bear" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone visits the squirrel and the squirrel visits the bear then the bear is nice.
((("someone" "visits" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("bear" "is" "nice" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "chases" "bald eagle" "+")
triple3
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "bald eagle" "-")
triple3
The squirrel visits the bear.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "visits" "bear" "+")
((triple2) -> (rule1 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel does not visit the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "visits" "bear" "-")
((triple2) -> (rule1 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bear is nice.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule3))]
("bear" "is" "nice" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The bear is not nice.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule3))]
("bear" "is" "nice" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The bear does not chase the bald eagle.
Unknown
inv-random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The squirrel chases the bald eagle.[(triple3)] @1: The squirrel visits the bear.[(((triple2) -> rule1))] @2: The bear is nice.[(((triple1 ((triple2) -> rule1)) -> rule3))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple2) -> (rule1 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2