The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is red. The bald eagle sees the rabbit. The cat sees the bald eagle. The dog sees the cat. The rabbit eats the dog. If someone visits the cat then the cat is rough. If someone sees the rabbit then they are rough. If the cat eats the dog then the cat is blue.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If someone visits the cat then the cat is rough.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "rough" "+"))
If someone sees the rabbit then they are rough.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If the cat eats the dog then the cat is blue.
((("cat" "eats" "dog" "+")) -> ("cat" "is" "blue" "+"))
The bald eagle is red.
True
1
proof
[(triple3)]
("bald eagle" "is" "red" "+")
triple3
The rabbit does not eat the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "eats" "dog" "-")
triple7
The bald eagle is rough.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "+")
The bald eagle does not visit the cat.
Unknown
inv-random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The cat sees the bald eagle.[(triple5)] The dog sees the cat.[(triple6)] The rabbit eats the dog.[(triple7)] @1: The bald eagle is rough.[(((triple4) -> rule2))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The dog sees the cat.
("dog" "sees" "cat" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1