The bald eagle chases the bear. The bald eagle is blue. The bald eagle is young. The bald eagle sees the rabbit. The bear is blue. The mouse chases the bald eagle. The mouse is blue. The mouse is rough. The mouse likes the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is kind. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit likes the mouse. The rabbit sees the bald eagle. If someone likes the bald eagle and they see the bald eagle then the bald eagle is rough. All rough people are cold. If someone is kind and young then they chase the bear. Cold people are kind. If someone chases the rabbit and the rabbit likes the bear then they see the mouse. If someone is rough and they see the bald eagle then they see the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone likes the bald eagle and they see the bald eagle then the bald eagle is rough.
((("someone" "likes" "bald eagle" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young then they chase the bear.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "bear" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the rabbit and the rabbit likes the bear then they see the mouse.
((("someone" "chases" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is rough and they see the bald eagle then they see the bear.
((("someone" "is" "rough" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "bear" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The mouse is not blue.
False
1
inv-proof
[(triple7)]
("mouse" "is" "blue" "-")
triple7
The mouse is cold.
True
2
proof
[(((triple8) -> rule2))]
("mouse" "is" "cold" "+")
((triple8) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bald eagle is not rough.
False
3
inv-proof
[(((triple13 triple16) -> rule1))]
("bald eagle" "is" "rough" "-")
((triple13 triple16) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse is kind.
True
3
proof
[(((((triple8) -> rule2)) -> rule4))]
("mouse" "is" "kind" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The bald eagle is not cold.
False
4
inv-proof
[(((((triple13 triple16) -> rule1)) -> rule2))]
("bald eagle" "is" "cold" "-")
((((triple13 triple16) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is kind.
True
5
proof
[(((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4))]
("bald eagle" "is" "kind" "+")
((((((triple13 triple16) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is not kind.
False
5
inv-proof
[(((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4))]
("bald eagle" "is" "kind" "-")
((((((triple13 triple16) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The mouse does not see the bear.
Unknown
inv-rconc
[@1: The mouse sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "sees" "bear" "-")
The rabbit sees the mouse.
Unknown
rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "mouse" "+")
The mouse does not chase the bear.
Unknown
inv-rconc
[@1: The mouse chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "bear" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "+")
The rabbit does not chase the mouse.
Unknown
inv-random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "-")
The bear likes the mouse.
Unknown
random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
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 chases the bear.[(triple1 OR ((((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4) triple3) -> rule3))] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bear is blue.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is blue.[(triple7)] The mouse is rough.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit sees the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple13 triple16) -> rule1))] The mouse is cold.[(((triple8) -> rule2))] @2: The bald eagle is cold.[(((((triple13 triple16) -> rule1)) -> rule2))] The mouse is kind.[(((((triple8) -> rule2)) -> rule4))] @3: The bald eagle is kind.[(((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
((((((((triple13 triple16) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple16
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple13 triple16) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple8) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple13 triple16) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((triple13 triple16) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3