The bald eagle chases the dog. The bald eagle is cold. The bald eagle is nice. The bald eagle sees the dog. The bald eagle sees the tiger. The dog chases the lion. The dog eats the bald eagle. The dog eats the tiger. The dog is red. The dog sees the bald eagle. The dog sees the tiger. The lion eats the tiger. The lion sees the bald eagle. The tiger chases the lion. The tiger eats the dog. If something sees the bald eagle and it sees the dog then the dog eats the lion. If something chases the lion and the lion is rough then the lion eats the bald eagle. If the dog is red and the dog chases the bald eagle then the bald eagle eats the dog. If something eats the lion and the lion sees the tiger then the tiger eats the dog. If something eats the tiger and it is nice then the tiger eats the dog. If something eats the dog then it is red. If something is rough and it sees the dog then the dog chases the lion. If something sees the dog and it eats the dog then it chases the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
If something sees the bald eagle and it sees the dog then the dog eats the lion.
((("something" "sees" "bald eagle" "+") ("something" "sees" "dog" "+")) -> ("dog" "eats" "lion" "+"))
If something chases the lion and the lion is rough then the lion eats the bald eagle.
((("something" "chases" "lion" "+") ("lion" "is" "rough" "+")) -> ("lion" "eats" "bald eagle" "+"))
If the dog is red and the dog chases the bald eagle then the bald eagle eats the dog.
((("dog" "is" "red" "+") ("dog" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If something eats the lion and the lion sees the tiger then the tiger eats the dog.
((("something" "eats" "lion" "+") ("lion" "sees" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
If something eats the tiger and it is nice then the tiger eats the dog.
((("something" "eats" "tiger" "+") ("something" "is" "nice" "+")) -> ("tiger" "eats" "dog" "+"))
If something eats the dog then it is red.
((("something" "eats" "dog" "+")) -> ("something" "is" "red" "+"))
If something is rough and it sees the dog then the dog chases the lion.
((("something" "is" "rough" "+") ("something" "sees" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If something sees the dog and it eats the dog then it chases the bald eagle.
((("something" "sees" "dog" "+") ("something" "eats" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is not cold.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "cold" "-")
triple2
The tiger is red.
True
2
proof
[(((triple15) -> rule6))]
("tiger" "is" "red" "+")
((triple15) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
2
inv-proof
[(((triple15) -> rule6))]
("tiger" "is" "red" "-")
((triple15) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The tiger chases the bald eagle.
Unknown
rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "bald eagle" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the tiger.[(triple5)] The dog chases the lion.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the tiger.[(triple8)] The dog is red.[(triple9)] The dog sees the bald eagle.[(triple10)] The dog sees the tiger.[(triple11)] The lion eats the tiger.[(triple12)] The lion sees the bald eagle.[(triple13)] The tiger chases the lion.[(triple14)] The tiger eats the dog.[(triple15)] @1: The tiger is red.[(((triple15) -> rule6))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The dog chases the lion.
("dog" "chases" "lion" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple10
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple11
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple12
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple13
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple14
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple15
The tiger is red.
("tiger" "is" "red" "+")
((triple15) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1