The bald eagle is blue. The bald eagle is nice. The bear is kind. The cow chases the bald eagle. The cow chases the rabbit. The cow needs the bald eagle. The cow needs the rabbit. The cow visits the bald eagle. The cow visits the bear. The cow visits the rabbit. The rabbit chases the cow. The rabbit is blue. If someone needs the rabbit then the rabbit is kind. If the cow needs the rabbit then the cow is blue. If someone visits the bear then they are round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is kind.
("bear" "is" "kind" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If someone needs the rabbit then the rabbit is kind.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the cow needs the rabbit then the cow is blue.
((("cow" "needs" "rabbit" "+")) -> ("cow" "is" "blue" "+"))
If someone visits the bear then they are round.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "round" "+"))
The cow needs the rabbit.
True
1
proof
[(triple7)]
("cow" "needs" "rabbit" "+")
triple7
The cow does not visit the rabbit.
False
1
inv-proof
[(triple10)]
("cow" "visits" "rabbit" "-")
triple10
The cow is round.
True
2
proof
[(((triple9) -> rule3))]
("cow" "is" "round" "+")
((triple9) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple7) -> rule2))]
("cow" "is" "blue" "-")
((triple7) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
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 bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "round" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The rabbit needs the cow.
Unknown
random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bear is kind.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the rabbit.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the bald eagle.[(triple8)] The cow visits the bear.[(triple9)] The cow visits the rabbit.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit is blue.[(triple12)] @1: The cow is blue.[(((triple7) -> rule2))] The cow is round.[(((triple9) -> rule3))] The rabbit is kind.[(((triple7) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple10
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The cow is blue.
("cow" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple9) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple7) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1