The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is round. The bald eagle likes the tiger. The cow chases the tiger. The cow is blue. The cow likes the dog. The dog chases the tiger. The dog sees the cow. The dog sees the tiger. The tiger chases the cow. The tiger chases the dog. All round, kind things are blue. If something is round then it sees the cow. If something likes the tiger and the tiger sees the cow then it sees the dog.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
All round, kind things are blue.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is round then it sees the cow.
((("something" "is" "round" "+")) -> ("something" "sees" "cow" "+"))
If something likes the tiger and the tiger sees the cow then it sees the dog.
((("something" "likes" "tiger" "+") ("tiger" "sees" "cow" "+")) -> ("something" "sees" "dog" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The dog does not chase the tiger.
False
1
inv-proof
[(triple8)]
("dog" "chases" "tiger" "-")
triple8
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the tiger.[(triple4)] The cow chases the tiger.[(triple5)] The cow is blue.[(triple6)] The cow likes the dog.[(triple7)] The dog chases the tiger.[(triple8)] The dog sees the cow.[(triple9)] The dog sees the tiger.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the dog.[(triple12)] @1: The bald eagle sees the cow.[(((triple3) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple9
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple10
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1