The bald eagle chases the bear. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The bear is kind. The bear is red. The bear is young. The rabbit visits the bald eagle. If someone is red then they are young. If someone visits the rabbit and they are red then the rabbit visits the bear. If someone chases the rabbit then they see the bear. If someone chases the bear and they visit the rabbit then they chase the bald eagle. If someone visits the bald eagle and the bald eagle chases the bear then the bear is young. If someone sees the rabbit and they visit the rabbit then the rabbit is big.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone visits the rabbit and they are red then the rabbit visits the bear.
((("someone" "visits" "rabbit" "+") ("someone" "is" "red" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone chases the rabbit then they see the bear.
((("someone" "chases" "rabbit" "+")) -> ("someone" "sees" "bear" "+"))
If someone chases the bear and they visit the rabbit then they chase the bald eagle.
((("someone" "chases" "bear" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the bald eagle and the bald eagle chases the bear then the bear is young.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone sees the rabbit and they visit the rabbit then the rabbit is big.
((("someone" "sees" "rabbit" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "sees" "rabbit" "+")
triple2
The bear is not red.
False
1
inv-proof
[(triple5)]
("bear" "is" "red" "-")
triple5
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6 OR ((triple5) -> rule1) OR ((triple7 triple1) -> rule5))] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple1 triple3) -> rule4))] The rabbit is big.[(((triple2 triple3) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
((triple5) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple7 triple1) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1 triple3) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple2 triple3) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1