The bald eagle sees the squirrel. The squirrel is cold. If someone visits the bald eagle and the bald eagle sees the squirrel then the squirrel is young. If someone is cold then they visit the bald eagle. If someone sees the bald eagle and the bald eagle is cold then the bald eagle likes the squirrel.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone visits the bald eagle and the bald eagle sees the squirrel then the squirrel is young.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone is cold then they visit the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the bald eagle and the bald eagle is cold then the bald eagle likes the squirrel.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple2)]
("squirrel" "is" "cold" "+")
triple2
The bald eagle does not see the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "squirrel" "-")
triple1
The squirrel visits the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("squirrel" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("squirrel" "visits" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is young.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("squirrel" "is" "young" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is not young.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("squirrel" "is" "young" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The squirrel is cold.[(triple2)] @1: The squirrel visits the bald eagle.[(((triple2) -> rule2))] @2: The squirrel is young.[(((((triple2) -> rule2) triple1) -> rule1))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2