The bald eagle is nice. The bear is green. The rabbit is kind. The squirrel needs the bear. If someone is kind then they visit the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is green.
("bear" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone is kind then they visit the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bald eagle" "+"))
The rabbit is kind.
True
1
proof
[(triple3)]
("rabbit" "is" "kind" "+")
triple3
The rabbit is not kind.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "kind" "-")
triple3
The rabbit visits the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "visits" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
@0: The bald eagle is nice.[(triple1)] The bear is green.[(triple2)] The rabbit is kind.[(triple3)] The squirrel needs the bear.[(triple4)] @1: The rabbit visits the bald eagle.[(((triple3) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1