The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle is green. The bald eagle is red. The bald eagle is round. The bald eagle needs the dog. The bald eagle needs the tiger. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the tiger. The dog needs the bald eagle. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger needs the bald eagle. If something eats the tiger then the tiger is rough. If something is green then it chases the bald eagle. Red things are rough.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If something eats the tiger then the tiger is rough.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If something is green then it chases the bald eagle.
((("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple2)]
("bald eagle" "chases" "tiger" "+")
triple2
The dog does not need the tiger.
False
1
inv-proof
[(triple13)]
("dog" "needs" "tiger" "-")
triple13
The bald eagle is rough.
True
2
proof
[(((triple5) -> rule3))]
("bald eagle" "is" "rough" "+")
((triple5) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "-")
The tiger chases the bald eagle.
Unknown
rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "bald eagle" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The dog chases the tiger.
Unknown
random
[@0: The dog chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "tiger" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the dog.[(triple7)] The bald eagle needs the tiger.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog eats the bald eagle.[(triple10)] The dog eats the tiger.[(triple11)] The dog needs the bald eagle.[(triple12)] The dog needs the tiger.[(triple13)] The tiger chases the dog.[(triple14)] The tiger eats the dog.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2))] The bald eagle is rough.[(((triple5) -> rule3))] The tiger is rough.[(((triple11) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple7
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple8
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple9
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple10
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple13
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple14
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple5) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple11) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1