The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle sees the bear. The bald eagle sees the dog. The bear chases the tiger. The bear eats the dog. The bear is nice. The bear sees the tiger. The dog eats the bald eagle. The dog is cold. The dog sees the bear. The dog sees the tiger. The tiger chases the bear. The tiger eats the dog. The tiger is round. If the tiger eats the dog and the dog chases the tiger then the tiger is cold. If someone chases the bald eagle then they chase the tiger. If someone sees the bald eagle and they chase the dog then they see the tiger. If someone sees the tiger then they chase the tiger. If someone is cold then they see the bald eagle. If someone chases the dog and they eat the bald eagle then the dog chases the tiger. If someone eats the dog and the dog chases the tiger then the tiger is nice. If someone chases the tiger and they eat the bald eagle then the tiger is round.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the tiger eats the dog and the dog chases the tiger then the tiger is cold.
((("tiger" "eats" "dog" "+") ("dog" "chases" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If someone chases the bald eagle then they chase the tiger.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "tiger" "+"))
If someone sees the bald eagle and they chase the dog then they see the tiger.
((("someone" "sees" "bald eagle" "+") ("someone" "chases" "dog" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the tiger then they chase the tiger.
((("someone" "sees" "tiger" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is cold then they see the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the dog and they eat the bald eagle then the dog chases the tiger.
((("someone" "chases" "dog" "+") ("someone" "eats" "bald eagle" "+")) -> ("dog" "chases" "tiger" "+"))
If someone eats the dog and the dog chases the tiger then the tiger is nice.
((("someone" "eats" "dog" "+") ("dog" "chases" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone chases the tiger and they eat the bald eagle then the tiger is round.
((("someone" "chases" "tiger" "+") ("someone" "eats" "bald eagle" "+")) -> ("tiger" "is" "round" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The dog does not see the tiger.
False
1
inv-proof
[(triple12)]
("dog" "sees" "tiger" "-")
triple12
The dog chases the tiger.
True
2
proof
[(((triple12) -> rule4))]
("dog" "chases" "tiger" "+")
((triple12) -> (rule4 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The dog does not see the bald eagle.
False
2
inv-proof
[(((triple10) -> rule5))]
("dog" "sees" "bald eagle" "-")
((triple10) -> (rule5 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The tiger is nice.
True
4
proof
[(((triple14 ((triple12) -> rule4)) -> rule7) OR ((triple6 ((triple12) -> rule4)) -> rule7))]
("tiger" "is" "nice" "+")
((triple14 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
((triple6 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger is not nice.
False
4
inv-proof
[(((triple14 ((triple12) -> rule4)) -> rule7) OR ((triple6 ((triple12) -> rule4)) -> rule7))]
("tiger" "is" "nice" "-")
((triple14 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
((triple6 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger sees the bald eagle.
True
5
proof
[(((((triple14 ((triple12) -> rule4)) -> rule1)) -> rule5))]
("tiger" "sees" "bald eagle" "+")
((((triple14 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3
The tiger does not see the bald eagle.
False
5
inv-proof
[(((((triple14 ((triple12) -> rule4)) -> rule1)) -> rule5))]
("tiger" "sees" "bald eagle" "-")
((((triple14 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle sees the tiger.
Unknown
rconc
[@2: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bald eagle" "sees" "tiger" "+")
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The tiger sees the tiger.
Unknown
rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "tiger" "+")
The dog does not chase the bear.
Unknown
inv-random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle sees the dog.[(triple4)] The bear chases the tiger.[(triple5 OR ((triple8) -> rule4))] The bear eats the dog.[(triple6)] The bear is nice.[(triple7)] The bear sees the tiger.[(triple8)] The dog eats the bald eagle.[(triple9)] The dog is cold.[(triple10)] The dog sees the bear.[(triple11)] The dog sees the tiger.[(triple12)] The tiger chases the bear.[(triple13)] The tiger eats the dog.[(triple14)] The tiger is round.[(triple15 OR ((((triple12) -> rule4) triple9) -> rule8))] @1: The dog chases the tiger.[(((triple12) -> rule4))] The dog sees the bald eagle.[(((triple10) -> rule5))] @2: The tiger is cold.[(((triple14 ((triple12) -> rule4)) -> rule1))] The tiger is nice.[(((triple14 ((triple12) -> rule4)) -> rule7) OR ((triple6 ((triple12) -> rule4)) -> rule7))] @3: The tiger sees the bald eagle.[(((((triple14 ((triple12) -> rule4)) -> rule1)) -> rule5))]
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 sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple5
((triple8) -> (rule4 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple12
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple13
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
((((triple12) -> (rule4 % int2)) triple9) -> (rule8 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((triple12) -> (rule4 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple14 ((triple12) -> (rule4 % int2))) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((triple14 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
((triple6 ((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((((triple14 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3