The bald eagle chases the rabbit. The bald eagle is big. The bald eagle sees the rabbit. The rabbit chases the bald eagle. The rabbit is kind. The rabbit is young. The rabbit sees the bald eagle. If someone is kind and they like the rabbit then they are big. If someone likes the rabbit then the rabbit sees the bald eagle. Young, kind people are green.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone is kind and they like the rabbit then they are big.
((("someone" "is" "kind" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone likes the rabbit then the rabbit sees the bald eagle.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
Young, kind people are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The rabbit is young.
True
1
proof
[(triple6)]
("rabbit" "is" "young" "+")
triple6
The rabbit does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "bald eagle" "-")
triple4
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the bald eagle.[(triple7)] @1: The rabbit is green.[(((triple6 triple5) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1