The bald eagle eats the cow. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow is cold. The cow is nice. The cow is red. The cow sees the bald eagle. If something is rough then it eats the bald eagle. If something eats the cow and it chases the bald eagle then the bald eagle chases the cow. If something sees the bald eagle and it chases the bald eagle then the bald eagle eats the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If something is rough then it eats the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the cow and it chases the bald eagle then the bald eagle chases the cow.
((("something" "eats" "cow" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
If something sees the bald eagle and it chases the bald eagle then the bald eagle eats the cow.
((("something" "sees" "bald eagle" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple8)]
("cow" "eats" "bald eagle" "+")
triple8
The bald eagle is not nice.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "nice" "-")
triple3
The bald eagle eats the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "eats" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
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" "+")
@0: The bald eagle eats the cow.[(triple1 OR ((triple12 triple7) -> rule3))] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle sees the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is cold.[(triple9)] The cow is nice.[(triple10)] The cow is red.[(triple11)] The cow sees the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
((triple12 triple7) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
triple11
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1