The bald eagle is rough. The dog likes the rabbit. The rabbit needs the dog. If someone likes the rabbit then the rabbit likes the dog. If someone likes the dog then they are big.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone likes the rabbit then the rabbit likes the dog.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If someone likes the dog then they are big.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "big" "+"))
The rabbit needs the dog.
True
1
proof
[(triple3)]
("rabbit" "needs" "dog" "+")
triple3
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The rabbit likes the dog.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit does not like the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "likes" "dog" "-")
((triple2) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is big.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("rabbit" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("rabbit" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "+")
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not like the bald eagle.
Unknown
inv-random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The dog likes the rabbit.[(triple2)] The rabbit needs the dog.[(triple3)] @1: The rabbit likes the dog.[(((triple2) -> rule1))] @2: The rabbit is big.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple2
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple3
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2