The bald eagle eats the cat. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle sees the cat. The cat eats the bald eagle. The cat is big. The cat is cold. The cat is kind. The cat is rough. The cat sees the bald eagle. The cat visits the bald eagle. If something sees the cat then it is kind. If something eats the bald eagle then the bald eagle eats the cat. If something visits the cat then it eats the bald eagle. If something visits the cat then it eats the cat. If something eats the cat and the cat is green then it visits the bald eagle. If something visits the bald eagle and the bald eagle visits the cat then it is kind. If something eats the bald eagle then the bald eagle visits the cat. If something eats the cat then it is rough.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If something sees the cat then it is kind.
((("something" "sees" "cat" "+")) -> ("something" "is" "kind" "+"))
If something eats the bald eagle then the bald eagle eats the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something visits the cat then it eats the bald eagle.
((("something" "visits" "cat" "+")) -> ("something" "eats" "bald eagle" "+"))
If something visits the cat then it eats the cat.
((("something" "visits" "cat" "+")) -> ("something" "eats" "cat" "+"))
If something eats the cat and the cat is green then it visits the bald eagle.
((("something" "eats" "cat" "+") ("cat" "is" "green" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle visits the cat then it is kind.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("something" "is" "kind" "+"))
If something eats the bald eagle then the bald eagle visits the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If something eats the cat then it is rough.
((("something" "eats" "cat" "+")) -> ("something" "is" "rough" "+"))
The cat is kind.
True
1
proof
[(triple9 OR ((triple12 ((triple6) -> rule7)) -> rule6))]
("cat" "is" "kind" "+")
triple9
((triple12 ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat is not cold.
False
1
inv-proof
[(triple8)]
("cat" "is" "cold" "-")
triple8
The bald eagle visits the cat.
True
2
proof
[(((triple6) -> rule7))]
("bald eagle" "visits" "cat" "+")
((triple6) -> (rule7 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "is" "kind" "-")
((triple5) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple6) -> rule7)) -> rule3))]
("bald eagle" "eats" "bald eagle" "+")
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule7)) -> rule3))]
("bald eagle" "eats" "bald eagle" "-")
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "cat" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
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 cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle eats the cat.[(triple1 OR ((triple6) -> rule2) OR ((((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7)) -> rule3)) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is big.[(triple7)] The cat is cold.[(triple8)] The cat is kind.[(triple9 OR ((triple12 ((triple6) -> rule7)) -> rule6))] The cat is rough.[(triple10)] The cat sees the bald eagle.[(triple11)] The cat visits the bald eagle.[(triple12)] @1: The bald eagle is kind.[(((triple5) -> rule1))] The bald eagle is rough.[(((triple1) -> rule8) OR ((((triple6) -> rule2)) -> rule8) OR ((((((triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple6) -> rule7)) -> rule3)) -> rule2)) -> rule8))] The bald eagle visits the cat.[(((triple6) -> rule7))] @2: The bald eagle eats the bald eagle.[(((((triple6) -> rule7)) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
((triple6) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
((triple12 ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
triple10
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple11
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
((((((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple6) -> (rule7 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2