The bald eagle sees the dog. The dog chases the tiger. The dog eats the rabbit. The dog sees the bald eagle. The rabbit sees the dog. The tiger chases the bald eagle. The tiger eats the rabbit. The tiger is blue. The tiger is cold. The tiger sees the dog. If something is blue and it sees the bald eagle then the bald eagle sees the rabbit. If something is cold then it eats the bald eagle. If something sees the bald eagle then it chases the dog. If something eats the bald eagle then it is big. If something sees the bald eagle then the bald eagle sees the dog. If something chases the tiger and the tiger is big then it is cold. If something chases the tiger then it is rough.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something is blue and it sees the bald eagle then the bald eagle sees the rabbit.
((("something" "is" "blue" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If something is cold then it eats the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "eats" "bald eagle" "+"))
If something sees the bald eagle then it chases the dog.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "dog" "+"))
If something eats the bald eagle then it is big.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something sees the bald eagle then the bald eagle sees the dog.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If something chases the tiger and the tiger is big then it is cold.
((("something" "chases" "tiger" "+") ("tiger" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something chases the tiger then it is rough.
((("something" "chases" "tiger" "+")) -> ("something" "is" "rough" "+"))
The dog sees the bald eagle.
True
1
proof
[(triple4)]
("dog" "sees" "bald eagle" "+")
triple4
The tiger is not blue.
False
1
inv-proof
[(triple8)]
("tiger" "is" "blue" "-")
triple8
The tiger eats the bald eagle.
True
2
proof
[(((triple9) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "-")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The tiger is big.
True
3
proof
[(((((triple9) -> rule2)) -> rule4))]
("tiger" "is" "big" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger is not big.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule4))]
("tiger" "is" "big" "-")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The dog is cold.
True
5
proof
[(((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6))]
("dog" "is" "cold" "+")
((triple2 ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3
The dog is not cold.
False
5
inv-proof
[(((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6))]
("dog" "is" "cold" "-")
((triple2 ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3
The dog eats the bald eagle.
True
6
proof
[(((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2))]
("dog" "eats" "bald eagle" "+")
((((triple2 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int4
The dog does not eat the bald eagle.
False
6
inv-proof
[(((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2))]
("dog" "eats" "bald eagle" "-")
((((triple2 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int4
The dog is big.
True
7
proof
[(((((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4))]
("dog" "is" "big" "+")
((((((triple2 ((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int5
The dog is not big.
False
7
inv-proof
[(((((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4))]
("dog" "is" "big" "-")
((((((triple2 ((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int5
The bald eagle is not big.
Unknown
inv-rconc
[@3: The bald eagle is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule6 <- FAIL)]]
("bald eagle" "is" "big" "-")
The rabbit is big.
Unknown
rconc
[@3: The rabbit is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule6 <- FAIL)]]
("rabbit" "is" "big" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The tiger chases the dog.
Unknown
rconc
[@1: The tiger chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "dog" "+")
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "rough" "-")
The bald eagle sees the rabbit.
Unknown
rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "rabbit" "+")
The dog does not see the rabbit.
Unknown
inv-random
[@0: The dog sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "rabbit" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The dog does not chase the bald eagle.
Unknown
inv-random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "-")
The rabbit sees the tiger.
Unknown
random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "+")
@0: The bald eagle sees the dog.[(triple1 OR ((triple4) -> rule5))] The dog chases the tiger.[(triple2)] The dog eats the rabbit.[(triple3)] The dog sees the bald eagle.[(triple4)] The rabbit sees the dog.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog chases the dog.[(((triple4) -> rule3))] The dog is rough.[(((triple2) -> rule7))] The tiger eats the bald eagle.[(((triple9) -> rule2))] @2: The tiger is big.[(((((triple9) -> rule2)) -> rule4))] @3: The dog is cold.[(((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6))] @4: The dog eats the bald eagle.[(((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2))] @5: The dog is big.[(((((((triple2 ((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule2)) -> rule4))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
((triple4) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple4
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple6
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple2) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
((triple2 ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((((triple2 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int4
The dog is big.
("dog" "is" "big" "+")
((((((triple2 ((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int5