The bald eagle chases the bear. The bald eagle eats the cat. The bald eagle is cold. The bear chases the cat. The cat chases the bald eagle. The cat chases the bear. The cat eats the bear. The cat is nice. The cat is round. The cat sees the bald eagle. If something is round then it is nice. If something chases the bear then it is not green. If something sees the bald eagle and the bald eagle sees the bear then the bear chases the bald eagle. If something eats the bald eagle and it sees the bald eagle then it does not chase the cat. If something is green and it chases the bear then the bear eats the cat. If something eats the bald eagle then it is not round. If something is nice and it chases the cat then the cat sees the bear. If something eats the bear then the bear is round.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something chases the bear then it is not green.
((("something" "chases" "bear" "+")) -> ("something" "is" "green" "-"))
If something sees the bald eagle and the bald eagle sees the bear then the bear chases the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something eats the bald eagle and it sees the bald eagle then it does not chase the cat.
((("something" "eats" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "chases" "cat" "-"))
If something is green and it chases the bear then the bear eats the cat.
((("something" "is" "green" "+") ("something" "chases" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If something eats the bald eagle then it is not round.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "round" "-"))
If something is nice and it chases the cat then the cat sees the bear.
((("something" "is" "nice" "+") ("something" "chases" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If something eats the bear then the bear is round.
((("something" "eats" "bear" "+")) -> ("bear" "is" "round" "+"))
The cat is round.
True
1
proof
[(triple9)]
("cat" "is" "round" "+")
triple9
The bald eagle is not cold.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "cold" "-")
triple3
The bald eagle is not green.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "green" "-")
((triple1) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The cat is green.
False
2
inv-proof
[(((triple6) -> rule2))]
("cat" "is" "green" "+")
((triple6) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The bear is nice.
True
3
proof
[(((((triple7) -> rule8)) -> rule1))]
("bear" "is" "nice" "+")
((((triple7) -> (rule8 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule1))]
("bear" "is" "nice" "-")
((((triple7) -> (rule8 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The cat sees the bear.
True
5
proof
[(((((((triple7) -> rule8)) -> rule1) triple4) -> rule7))]
("cat" "sees" "bear" "+")
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The cat does not see the bear.
False
5
inv-proof
[(((((((triple7) -> rule8)) -> rule1) triple4) -> rule7))]
("cat" "sees" "bear" "-")
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear does not eat the cat.
Unknown
inv-rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "cat" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is cold.[(triple3)] The bear chases the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat is nice.[(triple8 OR ((triple9) -> rule1))] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] @1: The bald eagle is not green.[(((triple1) -> rule2))] The bear is round.[(((triple7) -> rule8))] The cat is not green.[(((triple6) -> rule2))] @2: The bear is nice.[(((((triple7) -> rule8)) -> rule1))] @3: The cat sees the bear.[(((((((triple7) -> rule8)) -> rule1) triple4) -> rule7))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bear chases the cat.
("bear" "chases" "cat" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple8
((triple9) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((triple1) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bear is round.
("bear" "is" "round" "+")
((triple7) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cat is not green.
("cat" "is" "green" "-")
((triple6) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple7) -> (rule8 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3