The bald eagle is young. The bear is kind. The bear sees the cat. The bear sees the rabbit. The cat sees the bald eagle. The rabbit is green. The rabbit visits the bald eagle. If someone sees the rabbit then the rabbit visits the cat.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone sees the rabbit then the rabbit visits the cat.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "cat" "+"))
The bear is kind.
True
1
proof
[(triple2)]
("bear" "is" "kind" "+")
triple2
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The rabbit visits the cat.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "visits" "cat" "+")
((triple4) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit does not visit the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "visits" "cat" "-")
((triple4) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cat does not see the bear.
Unknown
inv-random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle is young.[(triple1)] The bear is kind.[(triple2)] The bear sees the cat.[(triple3)] The bear sees the rabbit.[(triple4)] The cat sees the bald eagle.[(triple5)] The rabbit is green.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The rabbit visits the cat.[(((triple4) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear sees the cat.
("bear" "sees" "cat" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple4) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1