The bald eagle is nice. The bald eagle sees the cow. The bald eagle visits the cat. The bald eagle visits the cow. The cat eats the bald eagle. The cat is rough. The cow eats the bald eagle. The cow eats the cat. The cow eats the tiger. The cow is young. The cow sees the cat. The cow visits the bald eagle. The cow visits the tiger. The tiger is green. The tiger is nice. The tiger is rough. If someone visits the cat then the cat visits the bald eagle. If the cat eats the tiger then the cat visits the cow. If someone sees the bald eagle and the bald eagle sees the tiger then the bald eagle eats the cow.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone visits the cat then the cat visits the bald eagle.
((("someone" "visits" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If the cat eats the tiger then the cat visits the cow.
((("cat" "eats" "tiger" "+")) -> ("cat" "visits" "cow" "+"))
If someone sees the bald eagle and the bald eagle sees the tiger then the bald eagle eats the cow.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "eats" "cow" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple7)]
("cow" "eats" "bald eagle" "+")
triple7
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "cat" "-")
triple3
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the cow.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is rough.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the tiger.[(triple9)] The cow is young.[(triple10)] The cow sees the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] The cow visits the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger is nice.[(triple15)] The tiger is rough.[(triple16)] @1: The cat visits the bald eagle.[(((triple3) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow eats the cat.
("cow" "eats" "cat" "+")
triple8
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow sees the cat.
("cow" "sees" "cat" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple16
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1