The bald eagle chases the cow. The bald eagle is cold. The cow chases the dog. The cow chases the tiger. The cow is cold. The dog chases the cow. The dog is kind. The dog sees the bald eagle. The tiger chases the cow. The tiger chases the dog. The tiger sees the dog. The tiger visits the bald eagle. If something visits the bald eagle and it chases the cow then it chases the tiger. If something sees the dog and it is round then the dog chases the bald eagle. If something chases the bald eagle then it is round. If something sees the tiger then the tiger sees the dog. If something chases the tiger then it chases the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something visits the bald eagle and it chases the cow then it chases the tiger.
((("something" "visits" "bald eagle" "+") ("something" "chases" "cow" "+")) -> ("something" "chases" "tiger" "+"))
If something sees the dog and it is round then the dog chases the bald eagle.
((("something" "sees" "dog" "+") ("something" "is" "round" "+")) -> ("dog" "chases" "bald eagle" "+"))
If something chases the bald eagle then it is round.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something sees the tiger then the tiger sees the dog.
((("something" "sees" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If something chases the tiger then it chases the bald eagle.
((("something" "chases" "tiger" "+")) -> ("something" "chases" "bald eagle" "+"))
The dog sees the bald eagle.
True
1
proof
[(triple8)]
("dog" "sees" "bald eagle" "+")
triple8
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The cow chases the bald eagle.
True
2
proof
[(((triple4) -> rule5))]
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule5 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The tiger does not chase the tiger.
False
3
inv-proof
[(((triple12 triple9) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple12 triple9) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cow is round.
True
3
proof
[(((((triple4) -> rule5)) -> rule3))]
("cow" "is" "round" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The tiger does not chase the bald eagle.
False
4
inv-proof
[(((((triple12 triple9) -> rule1)) -> rule5))]
("tiger" "chases" "bald eagle" "-")
((((triple12 triple9) -> (rule1 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is round.
True
5
proof
[(((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3))]
("tiger" "is" "round" "+")
((((((triple12 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is not round.
False
5
inv-proof
[(((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3))]
("tiger" "is" "round" "-")
((((((triple12 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The dog chases the bald eagle.
True
7
proof
[(((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
("dog" "chases" "bald eagle" "+")
((triple11 ((((((triple12 triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
The dog does not chase the bald eagle.
False
7
inv-proof
[(((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
("dog" "chases" "bald eagle" "-")
((triple11 ((((((triple12 triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
The dog is round.
True
8
proof
[(((((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2)) -> rule3))]
("dog" "is" "round" "+")
((((triple11 ((((((triple12 triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The dog is not round.
False
8
inv-proof
[(((((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2)) -> rule3))]
("dog" "is" "round" "-")
((((triple11 ((((((triple12 triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The dog does not chase the tiger.
Unknown
inv-rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "tiger" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bald eagle is round.
Unknown
rconc
[@3: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow does not see the dog.
Unknown
inv-random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "-")
The cow visits the tiger.
Unknown
random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is cold.[(triple2)] The cow chases the dog.[(triple3)] The cow chases the tiger.[(triple4)] The cow is cold.[(triple5)] The dog chases the cow.[(triple6)] The dog is kind.[(triple7)] The dog sees the bald eagle.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the dog.[(triple10)] The tiger sees the dog.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The cow chases the bald eagle.[(((triple4) -> rule5))] The tiger chases the tiger.[(((triple12 triple9) -> rule1))] @2: The cow is round.[(((((triple4) -> rule5)) -> rule3))] The tiger chases the bald eagle.[(((((triple12 triple9) -> rule1)) -> rule5))] @3: The tiger is round.[(((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3))] @4: The dog chases the bald eagle.[(((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2))] @5: The dog is round.[(((((triple11 ((((((triple12 triple9) -> rule1)) -> rule5)) -> rule3)) -> rule2)) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The cow chases the dog.
("cow" "chases" "dog" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple9
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple10
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule5 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple12 triple9) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((((triple12 triple9) -> (rule1 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
((((((triple12 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple11 ((((((triple12 triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
The dog is round.
("dog" "is" "round" "+")
((((triple11 ((((((triple12 triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5