The bald eagle is big. The bald eagle is kind. The bald eagle visits the rabbit. The rabbit is big. The rabbit is kind. The rabbit likes the bald eagle. The rabbit visits the bald eagle. If something is nice then it visits the bald eagle. If something is blue and kind then it visits the bald eagle. If something likes the bald eagle and the bald eagle is kind then it is round. If something likes the rabbit and the rabbit likes the bald eagle then the rabbit sees the bald eagle. If something is big and it likes the rabbit then the rabbit sees the bald eagle. If something sees the bald eagle then the bald eagle is kind.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something is nice then it visits the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is blue and kind then it visits the bald eagle.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle is kind then it is round.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something likes the rabbit and the rabbit likes the bald eagle then the rabbit sees the bald eagle.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something is big and it likes the rabbit then the rabbit sees the bald eagle.
((("something" "is" "big" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something sees the bald eagle then the bald eagle is kind.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The rabbit is round.
True
3
proof
[(((triple6 triple2) -> rule3))]
("rabbit" "is" "round" "+")
((triple6 triple2) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple6 triple2) -> rule3))]
("rabbit" "is" "round" "-")
((triple6 triple2) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The rabbit is big.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The rabbit is round.[(((triple6 triple2) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
((triple6 triple2) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1