The bald eagle is rough. The bear is blue. The bear is nice. The bear is rough. The bear likes the dog. The bear sees the bald eagle. The bear visits the dog. The dog is blue. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. The dog visits the bear. The dog visits the mouse. The mouse is nice. The mouse visits the dog. If something likes the dog then it sees the bear. If the bald eagle is blue then the bald eagle visits the bear.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something likes the dog then it sees the bear.
((("something" "likes" "dog" "+")) -> ("something" "sees" "bear" "+"))
If the bald eagle is blue then the bald eagle visits the bear.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "visits" "bear" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple10)]
("dog" "likes" "bald eagle" "+")
triple10
The bear is not rough.
False
1
inv-proof
[(triple4)]
("bear" "is" "rough" "-")
triple4
The bear sees the bear.
True
2
proof
[(((triple5) -> rule1))]
("bear" "sees" "bear" "+")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "sees" "bear" "-")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bald eagle does not visit the bear.
Unknown
inv-rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bear" "-")
The dog sees the bear.
Unknown
rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "bear" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle is rough.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the dog.[(triple7)] The dog is blue.[(triple8)] The dog is round.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog visits the bald eagle.[(triple12)] The dog visits the bear.[(triple13)] The dog visits the mouse.[(triple14)] The mouse is nice.[(triple15)] The mouse visits the dog.[(triple16)] @1: The bear sees the bear.[(((triple5) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
The dog visits the bear.
("dog" "visits" "bear" "+")
triple13
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple14
The mouse is nice.
("mouse" "is" "nice" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1