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