The bald eagle eats the dog. The bald eagle is nice. The bald eagle visits the cow. The bald eagle visits the dog. The cow is nice. The cow is red. The cow is rough. The cow needs the bald eagle. The cow needs the dog. The cow visits the bald eagle. The cow visits the dog. The dog is cold. The dog is young. The dog needs the cow. The dog visits the cow. If someone eats the cow then the cow is rough. If someone is young then they need the dog. If someone needs the cow then they eat the dog. If the dog needs the cow then the dog eats the bald eagle. If someone eats the dog then they need the cow. If the cow eats the dog then the dog eats the bald eagle. If someone eats the bald eagle then the bald eagle eats the dog. If someone eats the dog and the dog is cold then the dog is rough.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone eats the cow then the cow is rough.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone is young then they need the dog.
((("someone" "is" "young" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the cow then they eat the dog.
((("someone" "needs" "cow" "+")) -> ("someone" "eats" "dog" "+"))
If the dog needs the cow then the dog eats the bald eagle.
((("dog" "needs" "cow" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the dog then they need the cow.
((("someone" "eats" "dog" "+")) -> ("someone" "needs" "cow" "+"))
If the cow eats the dog then the dog eats the bald eagle.
((("cow" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle eats the dog.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone eats the dog and the dog is cold then the dog is rough.
((("someone" "eats" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "is" "rough" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The dog is not cold.
False
1
inv-proof
[(triple12)]
("dog" "is" "cold" "-")
triple12
The dog is rough.
True
3
proof
[(((triple1 triple12) -> rule8) OR ((((triple14) -> rule3) triple12) -> rule8) OR ((((((triple14) -> rule4)) -> rule7) triple12) -> rule8))]
("dog" "is" "rough" "+")
((triple1 triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple14) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
((((((triple14) -> (rule4 % int3))) -> (rule7 % int2)) triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple14) -> rule4))]
("dog" "eats" "bald eagle" "-")
((triple14) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The cow does not eat the dog.
Unknown
inv-rconc
[@2: The cow eats the dog.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("cow" "eats" "dog" "-")
The cow needs the cow.
Unknown
rconc
[@2: The cow needs the cow.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("cow" "needs" "cow" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((((triple14) -> rule4)) -> rule7))] The bald eagle is nice.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the dog.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow is rough.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow needs the dog.[(triple9)] The cow visits the bald eagle.[(triple10)] The cow visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog is young.[(triple13)] The dog needs the cow.[(triple14)] The dog visits the cow.[(triple15)] @1: The bald eagle needs the cow.[(((triple1) -> rule5) OR ((((((triple14) -> rule4)) -> rule7)) -> rule5))] The dog eats the bald eagle.[(((triple14) -> rule4))] The dog eats the dog.[(((triple14) -> rule3))] The dog is rough.[(((triple1 triple12) -> rule8) OR ((((triple14) -> rule3) triple12) -> rule8) OR ((((((triple14) -> rule4)) -> rule7) triple12) -> rule8))] The dog needs the dog.[(((triple13) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The cow needs the dog.
("cow" "needs" "dog" "+")
triple9
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
The cow visits the dog.
("cow" "visits" "dog" "+")
triple11
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is young.
("dog" "is" "young" "+")
triple13
The dog needs the cow.
("dog" "needs" "cow" "+")
triple14
The dog visits the cow.
("dog" "visits" "cow" "+")
triple15
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple1) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
((((((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple14) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple14) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple1 triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple14) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
((((((triple14) -> (rule4 % int3))) -> (rule7 % int2)) triple12) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple13) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1