The bald eagle does not chase the cat. The bald eagle eats the cat. The bald eagle is cold. The bald eagle is kind. The bald eagle visits the cat. The bear chases the bald eagle. The bear eats the cat. The bear visits the cat. The cat is cold. The cat visits the bear. If something visits the bald eagle then it does not visit the bear. If the cat eats the bear then the bear does not chase the cat. If something visits the bear then the bear chases the cat. If something chases the cat then it is cold. If the cat eats the bald eagle and the bald eagle eats the bear then the cat is round. If something is red and young then it is round.
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something visits the bald eagle then it does not visit the bear.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "bear" "-"))
If the cat eats the bear then the bear does not chase the cat.
((("cat" "eats" "bear" "+")) -> ("bear" "chases" "cat" "-"))
If something visits the bear then the bear chases the cat.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If something chases the cat then it is cold.
((("something" "chases" "cat" "+")) -> ("something" "is" "cold" "+"))
If the cat eats the bald eagle and the bald eagle eats the bear then the cat is round.
((("cat" "eats" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("cat" "is" "round" "+"))
If something is red and young then it is round.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
The cat visits the bear.
True
1
proof
[(triple10)]
("cat" "visits" "bear" "+")
triple10
The cat does not visit the bear.
False
1
inv-proof
[(triple10)]
("cat" "visits" "bear" "-")
triple10
The bear chases the cat.
True
2
proof
[(((triple10) -> rule3))]
("bear" "chases" "cat" "+")
((triple10) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear does not chase the cat.
False
2
inv-proof
[(((triple10) -> rule3))]
("bear" "chases" "cat" "-")
((triple10) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear is cold.
True
3
proof
[(((((triple10) -> rule3)) -> rule4))]
("bear" "is" "cold" "+")
((((triple10) -> (rule3 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear is not cold.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule4))]
("bear" "is" "cold" "-")
((((triple10) -> (rule3 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The bear does not visit the bald eagle.
Unknown
inv-random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle does not chase the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear eats the cat.[(triple7)] The bear visits the cat.[(triple8)] The cat is cold.[(triple9)] The cat visits the bear.[(triple10)] @1: The bear chases the cat.[(((triple10) -> rule3))] @2: The bear is cold.[(((((triple10) -> rule3)) -> rule4))]
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple6
The bear eats the cat.
("bear" "eats" "cat" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The cat is cold.
("cat" "is" "cold" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple10) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((((triple10) -> (rule3 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2