The bald eagle chases the tiger. The bald eagle is young. The bald eagle visits the tiger. The cat is not big. The cat is green. The cat does not visit the bald eagle. The cow is not big. The cow is green. The cow is not rough. The tiger chases the bald eagle. The tiger chases the cow. The tiger does not visit the cow. If someone eats the cat then the cat is young. If someone is rough then they eat the cat. All young people are rough. If someone eats the cat and they are rough then they are green. If the tiger is blue and the tiger chases the bald eagle then the tiger eats the cow. If someone is big and not green then they chase the cow.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is green.
("cat" "is" "green" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow is green.
("cow" "is" "green" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If someone eats the cat then the cat is young.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone is rough then they eat the cat.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "cat" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the cat and they are rough then they are green.
((("someone" "eats" "cat" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If the tiger is blue and the tiger chases the bald eagle then the tiger eats the cow.
((("tiger" "is" "blue" "+") ("tiger" "chases" "bald eagle" "+")) -> ("tiger" "eats" "cow" "+"))
If someone is big and not green then they chase the cow.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "chases" "cow" "+"))
The cow is green.
True
1
proof
[(triple8)]
("cow" "is" "green" "+")
triple8
The cow is big.
False
1
inv-proof
[(triple7)]
("cow" "is" "big" "+")
triple7
The bald eagle is rough.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "is" "rough" "-")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the cat.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("bald eagle" "eats" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not eat the cat.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("bald eagle" "eats" "cat" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The cat is young.
True
4
proof
[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]
("cat" "is" "young" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The cat is not young.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]
("cat" "is" "young" "-")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The cat is rough.
True
5
proof
[(((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3))]
("cat" "is" "rough" "+")
((((((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The cat is not rough.
False
5
inv-proof
[(((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3))]
("cat" "is" "rough" "-")
((((((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The cat eats the cat.
True
6
proof
[(((((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("cat" "eats" "cat" "+")
((((((((((triple2) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5
The cat does not eat the cat.
False
6
inv-proof
[(((((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("cat" "eats" "cat" "-")
((((((((((triple2) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "rough" "-")
The cow eats the cat.
Unknown
rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "cat" "+")
The tiger does not eat the cow.
Unknown
inv-rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "cow" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The tiger does not eat the cat.
Unknown
inv-rconc
[@2: The tiger eats the cat.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("tiger" "eats" "cat" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "cow" "+")
The cow does not chase the cat.
Unknown
inv-random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cow does not visit the tiger.
Unknown
inv-random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cat does not visit the bald eagle.[(triple6)] The cat is green.[(triple5 OR ((((((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2) ((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule4))] The cat is not big.[(triple4)] The cow is green.[(triple8)] The cow is not big.[(triple7)] The cow is not rough.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the cow.[(triple11)] The tiger does not visit the cow.[(triple12)] @1: The bald eagle is rough.[(((triple2) -> rule3))] @2: The bald eagle eats the cat.[(((((triple2) -> rule3)) -> rule2))] @3: The bald eagle is green.[(((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule4))] The cat is young.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))] @4: The cat is rough.[(((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3))] @5: The cat eats the cat.[(((((((((((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple6
The cat is green.
("cat" "is" "green" "+")
triple5
((((((((((((triple2) -> (rule3 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((((((((triple2) -> (rule3 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int6
The cat is not big.
("cat" "is" "big" "-")
triple4
The cow is green.
("cow" "is" "green" "+")
triple8
The cow is not big.
("cow" "is" "big" "-")
triple7
The cow is not rough.
("cow" "is" "rough" "-")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple12
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The cat is young.
("cat" "is" "young" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
((((((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((((((triple2) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5