The bald eagle is red. The bald eagle is rough. The bald eagle sees the bear. The bald eagle sees the cow. The bear is blue. The bear is nice. The cat does not chase the bear. The cat is kind. The cat visits the bald eagle. The cow chases the bear. The cow sees the bald eagle. The cow visits the bald eagle. If someone is rough and kind then they chase the bald eagle. If someone is red then they are blue. If someone visits the cow then they do not see the cat. If the bear chases the cow then the bear sees the bald eagle. If someone is blue then they are kind. If someone chases the bald eagle and they see the cow then the bald eagle visits the cow. If someone sees the bear and they are not rough then the bear does not chase the cow. If the cow is red and the cow chases the bear then the bear is kind.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If someone is rough and kind then they chase the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the cow then they do not see the cat.
((("someone" "visits" "cow" "+")) -> ("someone" "sees" "cat" "-"))
If the bear chases the cow then the bear sees the bald eagle.
((("bear" "chases" "cow" "+")) -> ("bear" "sees" "bald eagle" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the bald eagle and they see the cow then the bald eagle visits the cow.
((("someone" "chases" "bald eagle" "+") ("someone" "sees" "cow" "+")) -> ("bald eagle" "visits" "cow" "+"))
If someone sees the bear and they are not rough then the bear does not chase the cow.
((("someone" "sees" "bear" "+") ("someone" "is" "rough" "~")) -> ("bear" "chases" "cow" "-"))
If the cow is red and the cow chases the bear then the bear is kind.
((("cow" "is" "red" "+") ("cow" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
The bear is nice.
True
1
proof
[(triple6)]
("bear" "is" "nice" "+")
triple6
The cat is not kind.
False
1
inv-proof
[(triple8)]
("cat" "is" "kind" "-")
triple8
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple5) -> rule5))]
("bear" "is" "kind" "-")
((triple5) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bald eagle is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("bald eagle" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle chases the bald eagle.
True
5
proof
[(((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle visits the cow.
True
7
proof
[(((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6))]
("bald eagle" "visits" "cow" "+")
((((triple2 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle does not visit the cow.
False
7
inv-proof
[(((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6))]
("bald eagle" "visits" "cow" "-")
((((triple2 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle does not see the cat.
True
8
proof
[(((((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3))]
("bald eagle" "sees" "cat" "-")
((((((triple2 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The bald eagle sees the cat.
False
8
inv-proof
[(((((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3))]
("bald eagle" "sees" "cat" "+")
((((((triple2 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "blue" "-")
The cat chases the bald eagle.
Unknown
rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "bald eagle" "+")
The cow is not kind.
Unknown
inv-rconc
[@2: The cow is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("cow" "is" "kind" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The bear sees the bald eagle.
Unknown
rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "sees" "bald eagle" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The bear visits the cow.
Unknown
random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle sees the cow.[(triple4)] The bear is blue.[(triple5)] The bear is nice.[(triple6)] The cat does not chase the bear.[(triple7)] The cat is kind.[(triple8)] The cat visits the bald eagle.[(triple9)] The cow chases the bear.[(triple10)] The cow sees the bald eagle.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The bald eagle is blue.[(((triple1) -> rule2))] The bear is kind.[(((triple5) -> rule5))] @2: The bald eagle is kind.[(((((triple1) -> rule2)) -> rule5))] @3: The bald eagle chases the bald eagle.[(((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1))] @4: The bald eagle visits the cow.[(((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6))] @5: The bald eagle does not see the cat.[(((((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
The cow chases the bear.
("cow" "chases" "bear" "+")
triple10
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((triple5) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((triple2 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
((((((triple2 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5