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