The bald eagle likes the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The bear is big. The bear is rough. The bear likes the bald eagle. The rabbit chases the bear. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit needs the bald eagle. The rabbit needs the bear. If something chases the rabbit then it is rough. If something is kind then it is blue. If the bald eagle needs the rabbit and the rabbit needs the bear then the bear likes the bald eagle. If something is round then it chases the rabbit. If something likes the rabbit and the rabbit likes the bear then the rabbit is big. Big things are kind.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something chases the rabbit then it is rough.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If something is kind then it is blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle needs the rabbit and the rabbit needs the bear then the bear likes the bald eagle.
((("bald eagle" "needs" "rabbit" "+") ("rabbit" "needs" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something is round then it chases the rabbit.
((("something" "is" "round" "+")) -> ("something" "chases" "rabbit" "+"))
If something likes the rabbit and the rabbit likes the bear then the rabbit is big.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("rabbit" "is" "big" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple2)]
("bear" "chases" "bald eagle" "+")
triple2
The bear does not chase the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "chases" "rabbit" "-")
triple3
The bear is kind.
True
2
proof
[(((triple4) -> rule6))]
("bear" "is" "kind" "+")
((triple4) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "is" "kind" "-")
((triple4) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The rabbit is kind.
True
4
proof
[(((((triple1 triple10) -> rule5)) -> rule6))]
("rabbit" "is" "kind" "+")
((((triple1 triple10) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is not kind.
False
4
inv-proof
[(((((triple1 triple10) -> rule5)) -> rule6))]
("rabbit" "is" "kind" "-")
((((triple1 triple10) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is blue.
True
5
proof
[(((((((triple1 triple10) -> rule5)) -> rule6)) -> rule2))]
("rabbit" "is" "blue" "+")
((((((triple1 triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is not blue.
False
5
inv-proof
[(((((((triple1 triple10) -> rule5)) -> rule6)) -> rule2))]
("rabbit" "is" "blue" "-")
((((((triple1 triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle is rough.
Unknown
rconc
[@2: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not like the bear.
Unknown
inv-random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is big.[(triple4)] The bear is rough.[(triple5 OR ((triple3) -> rule1))] The bear likes the bald eagle.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the bear.[(triple12)] @1: The bear is kind.[(((triple4) -> rule6))] The rabbit is big.[(((triple1 triple10) -> rule5))] @2: The bear is blue.[(((((triple4) -> rule6)) -> rule2))] The rabbit is kind.[(((((triple1 triple10) -> rule5)) -> rule6))] @3: The rabbit is blue.[(((((((triple1 triple10) -> rule5)) -> rule6)) -> rule2))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
((triple3) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
((triple4) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple1 triple10) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple1 triple10) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((((triple1 triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3