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