The bald eagle chases the cow. The bald eagle eats the bear. The bald eagle is rough. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the bald eagle. The bear eats the cow. The bear is blue. The bear visits the cow. The cat is blue. The cat visits the bear. The cow chases the bald eagle. The cow eats the bear. The cow eats the cat. The cow is nice. The cow visits the cat. If something visits the bear then it eats the cat. If something chases the cat then it eats the bald eagle. If something eats the bald eagle and it visits the cow then the cow chases the cat. If something visits the cat and it chases the bear then the cat chases the bald eagle. If something is blue and it chases the cow then it is kind. If something visits the cow then the cow visits the cat. If something is red then it is kind. If something visits the cat and it chases the bald eagle then it is kind.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If something visits the bear then it eats the cat.
((("something" "visits" "bear" "+")) -> ("something" "eats" "cat" "+"))
If something chases the cat then it eats the bald eagle.
((("something" "chases" "cat" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle and it visits the cow then the cow chases the cat.
((("something" "eats" "bald eagle" "+") ("something" "visits" "cow" "+")) -> ("cow" "chases" "cat" "+"))
If something visits the cat and it chases the bear then the cat chases the bald eagle.
((("something" "visits" "cat" "+") ("something" "chases" "bear" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something is blue and it chases the cow then it is kind.
((("something" "is" "blue" "+") ("something" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
If something visits the cow then the cow visits the cat.
((("something" "visits" "cow" "+")) -> ("cow" "visits" "cat" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something visits the cat and it chases the bald eagle then it is kind.
((("something" "visits" "cat" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is not rough.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "rough" "-")
triple3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle chases the cat.
Unknown
random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear eats the cow.[(triple7)] The bear is blue.[(triple8)] The bear visits the cow.[(triple9)] The cat is blue.[(triple10)] The cat visits the bear.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow eats the bear.[(triple13)] The cow eats the cat.[(triple14)] The cow is nice.[(triple15)] The cow visits the cat.[(triple16 OR ((triple9) -> rule6))] @1: The bald eagle eats the cat.[(((triple4) -> rule1))] The cat eats the cat.[(((triple11) -> rule1))] The cow is kind.[(((triple16 triple12) -> rule8) OR ((((triple9) -> rule6) triple12) -> rule8))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
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 cow.
("bear" "eats" "cow" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
triple8
The bear visits the cow.
("bear" "visits" "cow" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat visits the bear.
("cat" "visits" "bear" "+")
triple11
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple12
The cow eats the bear.
("cow" "eats" "bear" "+")
triple13
The cow eats the cat.
("cow" "eats" "cat" "+")
triple14
The cow is nice.
("cow" "is" "nice" "+")
triple15
The cow visits the cat.
("cow" "visits" "cat" "+")
triple16
((triple9) -> (rule6 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple4) -> (rule1 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple11) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple16 triple12) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((((triple9) -> (rule6 % int2)) triple12) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
int2