The bald eagle is cold. The bald eagle is not kind. The bald eagle is rough. The bald eagle does not see the cow. The bald eagle visits the bear. The bear does not chase the bald eagle. The bear chases the cow. The bear is cold. The bear is kind. The bear is rough. The bear is not round. The cow chases the bear. The cow is cold. The cow is kind. The cow is rough. The cow does not see the bald eagle. If something visits the bald eagle then the bald eagle is red. If the cow chases the bald eagle and the bald eagle does not chase the cow then the cow is kind. If something sees the cow and it is rough then the cow is red. All kind things are red. If something visits the bald eagle and it chases the cow then the cow chases the bear. If something is rough and it sees the bear then the bear sees the bald eagle. If something is rough and it chases the bear then it sees the bear. If something sees the bald eagle then the bald eagle chases the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is not round.
("bear" "is" "round" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
If something visits the bald eagle then the bald eagle is red.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the cow chases the bald eagle and the bald eagle does not chase the cow then the cow is kind.
((("cow" "chases" "bald eagle" "+") ("bald eagle" "chases" "cow" "~")) -> ("cow" "is" "kind" "+"))
If something sees the cow and it is rough then the cow is red.
((("something" "sees" "cow" "+") ("something" "is" "rough" "+")) -> ("cow" "is" "red" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something visits the bald eagle and it chases the cow then the cow chases the bear.
((("something" "visits" "bald eagle" "+") ("something" "chases" "cow" "+")) -> ("cow" "chases" "bear" "+"))
If something is rough and it sees the bear then the bear sees the bald eagle.
((("something" "is" "rough" "+") ("something" "sees" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something is rough and it chases the bear then it sees the bear.
((("something" "is" "rough" "+") ("something" "chases" "bear" "+")) -> ("something" "sees" "bear" "+"))
If something sees the bald eagle then the bald eagle chases the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
The bald eagle does not see the cow.
True
1
proof
[(triple4)]
("bald eagle" "sees" "cow" "-")
triple4
The bald eagle sees the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "cow" "+")
triple4
The cow is red.
True
2
proof
[(((triple14) -> rule4))]
("cow" "is" "red" "+")
((triple14) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple9) -> rule4))]
("bear" "is" "red" "-")
((triple9) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear sees the bald eagle.
True
5
proof
[(((triple15 ((triple15 triple12) -> rule7)) -> rule6))]
("bear" "sees" "bald eagle" "+")
((triple15 ((triple15 triple12) -> (rule7 % int2))) -> (rule6 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The bear does not see the bald eagle.
False
5
inv-proof
[(((triple15 ((triple15 triple12) -> rule7)) -> rule6))]
("bear" "sees" "bald eagle" "-")
((triple15 ((triple15 triple12) -> (rule7 % int2))) -> (rule6 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The bald eagle chases the bear.
True
6
proof
[(((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8))]
("bald eagle" "chases" "bear" "+")
((((triple15 ((triple15 triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The bald eagle does not chase the bear.
False
6
inv-proof
[(((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8))]
("bald eagle" "chases" "bear" "-")
((((triple15 ((triple15 triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The cow does not chase the bald eagle.
Unknown
inv-random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle does not see the cow.[(triple4)] The bald eagle is cold.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple5)] The bear chases the cow.[(triple7)] The bear does not chase the bald eagle.[(triple6)] The bear is cold.[(triple8)] The bear is kind.[(triple9)] The bear is not round.[(triple11)] The bear is rough.[(triple10)] The cow chases the bear.[(triple12)] The cow does not see the bald eagle.[(triple16)] The cow is cold.[(triple13)] The cow is kind.[(triple14)] The cow is rough.[(triple15)] @1: The bear is red.[(((triple9) -> rule4))] The cow is red.[(((triple14) -> rule4))] The cow sees the bear.[(((triple15 triple12) -> rule7))] @2: The bear sees the bald eagle.[(((triple15 ((triple15 triple12) -> rule7)) -> rule6))] @3: The bald eagle chases the bear.[(((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8))] @4: The bald eagle sees the bear.[(((triple3 ((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8)) -> rule7))]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bear chases the cow.
("bear" "chases" "cow" "+")
triple7
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple8
The bear is kind.
("bear" "is" "kind" "+")
triple9
The bear is not round.
("bear" "is" "round" "-")
triple11
The bear is rough.
("bear" "is" "rough" "+")
triple10
The cow chases the bear.
("cow" "chases" "bear" "+")
triple12
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
triple16
The cow is cold.
("cow" "is" "cold" "+")
triple13
The cow is kind.
("cow" "is" "kind" "+")
triple14
The cow is rough.
("cow" "is" "rough" "+")
triple15
The bear is red.
("bear" "is" "red" "+")
((triple9) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((triple14) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
((triple15 triple12) -> (rule7 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple15 ((triple15 triple12) -> (rule7 % int2))) -> (rule6 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((triple15 ((triple15 triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple3 ((((triple15 ((triple15 triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The cow sees the bear.
("cow" "sees" "bear" "+")
int4