The bald eagle chases the tiger. The bald eagle visits the tiger. The bear visits the tiger. The cow is round. The cow visits the tiger. The tiger sees the bald eagle. The tiger visits the bear. If something is nice and rough then it sees the tiger. If the bald eagle is green then the bald eagle is nice. If something visits the bald eagle then it is rough. If something visits the cow and the cow chases the tiger then the tiger sees the bear. Round, rough things are nice. If something chases the tiger then it is green. If something sees the tiger then the tiger is cold. If something sees the bear then the bear sees the bald eagle. If something is green then it visits the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something is nice and rough then it sees the tiger.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "sees" "tiger" "+"))
If the bald eagle is green then the bald eagle is nice.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "nice" "+"))
If something visits the bald eagle then it is rough.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something visits the cow and the cow chases the tiger then the tiger sees the bear.
((("something" "visits" "cow" "+") ("cow" "chases" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
Round, rough things are nice.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something chases the tiger then it is green.
((("something" "chases" "tiger" "+")) -> ("something" "is" "green" "+"))
If something sees the tiger then the tiger is cold.
((("something" "sees" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If something sees the bear then the bear sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something is green then it visits the bald eagle.
((("something" "is" "green" "+")) -> ("something" "visits" "bald eagle" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple2)]
("bald eagle" "visits" "tiger" "+")
triple2
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple6)]
("tiger" "sees" "bald eagle" "-")
triple6
The bald eagle is green.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "is" "green" "+")
((triple1) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "is" "green" "-")
((triple1) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule2))]
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is not nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2))]
("bald eagle" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
True
4
proof
[(((((((triple1) -> rule6)) -> rule9)) -> rule3))]
("bald eagle" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle is not rough.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule9)) -> rule3))]
("bald eagle" "is" "rough" "-")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle sees the tiger.
True
8
proof
[(((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1))]
("bald eagle" "sees" "tiger" "+")
((((((triple1) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bald eagle does not see the tiger.
False
8
inv-proof
[(((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1))]
("bald eagle" "sees" "tiger" "-")
((((((triple1) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The tiger is cold.
True
9
proof
[(((((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1)) -> rule7))]
("tiger" "is" "cold" "+")
((((((((triple1) -> (rule6 % int6))) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int6))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The tiger is not cold.
False
9
inv-proof
[(((((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1)) -> rule7))]
("tiger" "is" "cold" "-")
((((((((triple1) -> (rule6 % int6))) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int6))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@2: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule9 <- rule6 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The tiger sees the bear.
Unknown
rconc
[@1: The tiger sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "sees" "bear" "+")
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "nice" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "nice" "+")
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "green" "-")
The cow is green.
Unknown
rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "green" "+")
The cow does not visit the bear.
Unknown
inv-random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The bald eagle does not visit the bear.
Unknown
inv-random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle visits the tiger.[(triple2)] The bear visits the tiger.[(triple3)] The cow is round.[(triple4)] The cow visits the tiger.[(triple5)] The tiger sees the bald eagle.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bald eagle is green.[(((triple1) -> rule6))] @2: The bald eagle is nice.[(((((triple1) -> rule6)) -> rule2))] The bald eagle visits the bald eagle.[(((((triple1) -> rule6)) -> rule9))] @3: The bald eagle is rough.[(((((((triple1) -> rule6)) -> rule9)) -> rule3))] @4: The bald eagle sees the tiger.[(((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1))] @5: The tiger is cold.[(((((((((triple1) -> rule6)) -> rule2) ((((((triple1) -> rule6)) -> rule9)) -> rule3)) -> rule1)) -> rule7))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule6 % int2))) -> (rule9 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((((((triple1) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The tiger is cold.
("tiger" "is" "cold" "+")
((((((((triple1) -> (rule6 % int6))) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int6))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6