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