The bald eagle does not chase the bear. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the cat. The bear does not chase the bald eagle. The bear is kind. The bear is red. The bear sees the cat. The cat is kind. The cat needs the bald eagle. The cat needs the bear. The cat sees the bear. If something is red and it sees the bear then it is not round. If something chases the bear then it is round. If something is round and it needs the bear then the bear chases the cat. If something needs the bald eagle and it does not chase the bald eagle then the bald eagle does not chase the bear. If the cat sees the bear and the bear is red then the cat chases the bear. If something chases the cat and the cat chases the bear then it chases the bear.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something is red and it sees the bear then it is not round.
((("something" "is" "red" "+") ("something" "sees" "bear" "+")) -> ("something" "is" "round" "-"))
If something chases the bear then it is round.
((("something" "chases" "bear" "+")) -> ("something" "is" "round" "+"))
If something is round and it needs the bear then the bear chases the cat.
((("something" "is" "round" "+") ("something" "needs" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If something needs the bald eagle and it does not chase the bald eagle then the bald eagle does not chase the bear.
((("something" "needs" "bald eagle" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "bear" "-"))
If the cat sees the bear and the bear is red then the cat chases the bear.
((("cat" "sees" "bear" "+") ("bear" "is" "red" "+")) -> ("cat" "chases" "bear" "+"))
If something chases the cat and the cat chases the bear then it chases the bear.
((("something" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("something" "chases" "bear" "+"))
The bald eagle does not chase the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bear is not kind.
False
1
inv-proof
[(triple6)]
("bear" "is" "kind" "-")
triple6
The cat chases the bear.
True
3
proof
[(((triple12 triple7) -> rule5))]
("cat" "chases" "bear" "+")
((triple12 triple7) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat does not chase the bear.
False
3
inv-proof
[(((triple12 triple7) -> rule5))]
("cat" "chases" "bear" "-")
((triple12 triple7) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
True
4
proof
[(((((triple12 triple7) -> rule5)) -> rule2))]
("cat" "is" "round" "+")
((((triple12 triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is not round.
False
4
inv-proof
[(((((triple12 triple7) -> rule5)) -> rule2))]
("cat" "is" "round" "-")
((((triple12 triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear chases the cat.
True
6
proof
[(((((((triple12 triple7) -> rule5)) -> rule2) triple11) -> rule3))]
("bear" "chases" "cat" "+")
((((((triple12 triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bear does not chase the cat.
False
6
inv-proof
[(((((((triple12 triple7) -> rule5)) -> rule2) triple11) -> rule3))]
("bear" "chases" "cat" "-")
((((((triple12 triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
The cat does not chase the bald eagle.
Unknown
inv-random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cat.[(triple4)] The bear does not chase the bald eagle.[(triple5)] The bear is kind.[(triple6)] The bear is red.[(triple7)] The bear sees the cat.[(triple8)] The cat is kind.[(triple9)] The cat needs the bald eagle.[(triple10)] The cat needs the bear.[(triple11)] The cat sees the bear.[(triple12)] @1: The cat chases the bear.[(((triple12 triple7) -> rule5))] @2: The cat is round.[(((((triple12 triple7) -> rule5)) -> rule2))] @3: The bear chases the cat.[(((((((triple12 triple7) -> rule5)) -> rule2) triple11) -> rule3))] @4: The bear chases the bear.[(((((((((triple12 triple7) -> rule5)) -> rule2) triple11) -> rule3) ((triple12 triple7) -> rule5)) -> rule6))] @5: The bear is round.[(((((((((((triple12 triple7) -> rule5)) -> rule2) triple11) -> rule3) ((triple12 triple7) -> rule5)) -> rule6)) -> rule2))]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
triple11
The cat sees the bear.
("cat" "sees" "bear" "+")
triple12
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple12 triple7) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((((triple12 triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
((((((triple12 triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((triple12 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2)) ((triple12 triple7) -> (rule5 % int4))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The bear is round.
("bear" "is" "round" "+")
((((((((((triple12 triple7) -> (rule5 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3)) ((triple12 triple7) -> (rule5 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat chases the bear.
("cat" "chases" "bear" "+")
int5