The bald eagle chases the cow. The bald eagle sees the lion. The cow is young. The lion chases the cow. The lion eats the tiger. The lion is big. The lion is cold. The lion is round. The tiger chases the bald eagle. The tiger chases the cow. The tiger is big. The tiger is young. If the cow chases the tiger then the cow is cold. Young people are big. If someone eats the cow and the cow chases the bald eagle then the cow eats the lion. If someone eats the lion and the lion eats the bald eagle then the lion sees the cow. If someone is round and big then they eat the cow. If someone eats the cow then the cow chases the bald eagle. If someone is young and cold then they see the cow. If someone eats the lion and they are big then they chase the tiger. If someone eats the bald eagle then they are young.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow is young.
("cow" "is" "young" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the cow chases the tiger then the cow is cold.
((("cow" "chases" "tiger" "+")) -> ("cow" "is" "cold" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone eats the cow and the cow chases the bald eagle then the cow eats the lion.
((("someone" "eats" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("cow" "eats" "lion" "+"))
If someone eats the lion and the lion eats the bald eagle then the lion sees the cow.
((("someone" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "sees" "cow" "+"))
If someone is round and big then they eat the cow.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the cow then the cow chases the bald eagle.
((("someone" "eats" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If someone is young and cold then they see the cow.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "sees" "cow" "+"))
If someone eats the lion and they are big then they chase the tiger.
((("someone" "eats" "lion" "+") ("someone" "is" "big" "+")) -> ("someone" "chases" "tiger" "+"))
If someone eats the bald eagle then they are young.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
The lion eats the tiger.
True
1
proof
[(triple5)]
("lion" "eats" "tiger" "+")
triple5
The bald eagle does not see the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "lion" "-")
triple2
The cow is big.
True
2
proof
[(((triple3) -> rule2))]
("cow" "is" "big" "+")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "is" "big" "-")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the bald eagle.
True
4
proof
[(((((triple8 triple6) -> rule5)) -> rule6))]
("cow" "chases" "bald eagle" "+")
((((triple8 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow does not chase the bald eagle.
False
4
inv-proof
[(((((triple8 triple6) -> rule5)) -> rule6))]
("cow" "chases" "bald eagle" "-")
((((triple8 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow eats the lion.
True
8
proof
[(((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3))]
("cow" "eats" "lion" "+")
((((triple8 triple6) -> (rule5 % int3)) ((((triple8 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The cow does not eat the lion.
False
8
inv-proof
[(((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3))]
("cow" "eats" "lion" "-")
((((triple8 triple6) -> (rule5 % int3)) ((((triple8 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The cow chases the tiger.
True
11
proof
[(((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8))]
("cow" "chases" "tiger" "+")
((((((triple8 triple6) -> (rule5 % int5)) ((((triple8 triple6) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The cow does not chase the tiger.
False
11
inv-proof
[(((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8))]
("cow" "chases" "tiger" "-")
((((((triple8 triple6) -> (rule5 % int5)) ((((triple8 triple6) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The cow is cold.
True
12
proof
[(((((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1))]
("cow" "is" "cold" "+")
((((((((triple8 triple6) -> (rule5 % int6)) ((((triple8 triple6) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5
The lion eats the cow.
("lion" "eats" "cow" "+")
int6
The cow is not cold.
False
12
inv-proof
[(((((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1))]
("cow" "is" "cold" "-")
((((((((triple8 triple6) -> (rule5 % int6)) ((((triple8 triple6) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5
The lion eats the cow.
("lion" "eats" "cow" "+")
int6
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The lion sees the cow.
Unknown
rconc
[@2: The lion sees the cow.[CWA. Example of deepest failure = (rule7 <- rule9 <- FAIL)]]
("lion" "sees" "cow" "+")
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "is" "young" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "is" "young" "-")
The lion chases the tiger.
Unknown
rconc
[@1: The lion chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "chases" "tiger" "+")
The cow does not chase the lion.
Unknown
inv-random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "-")
The lion sees the tiger.
Unknown
random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "+")
The bald eagle does not eat the tiger.
Unknown
inv-random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The lion does not chase the bald eagle.
Unknown
inv-random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle sees the lion.[(triple2)] The cow is young.[(triple3)] The lion chases the cow.[(triple4)] The lion eats the tiger.[(triple5)] The lion is big.[(triple6)] The lion is cold.[(triple7)] The lion is round.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] The tiger is big.[(triple11 OR ((triple12) -> rule2))] The tiger is young.[(triple12)] @1: The cow is big.[(((triple3) -> rule2))] The lion eats the cow.[(((triple8 triple6) -> rule5))] @2: The cow chases the bald eagle.[(((((triple8 triple6) -> rule5)) -> rule6))] @3: The cow eats the lion.[(((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3))] @4: The cow chases the tiger.[(((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8))] @5: The cow is cold.[(((((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1))] @6: The cow sees the cow.[(((triple3 ((((((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The lion chases the cow.
("lion" "chases" "cow" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
((triple12) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple12
The cow is big.
("cow" "is" "big" "+")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
((triple8 triple6) -> (rule5 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((((triple8 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
((((triple8 triple6) -> (rule5 % int3)) ((((triple8 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((((((triple8 triple6) -> (rule5 % int5)) ((((triple8 triple6) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The cow is cold.
("cow" "is" "cold" "+")
((((((((triple8 triple6) -> (rule5 % int6)) ((((triple8 triple6) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int5
The lion eats the cow.
("lion" "eats" "cow" "+")
int6
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple3 ((((((((triple8 triple6) -> (rule5 % int7)) ((((triple8 triple6) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule3 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int6
The lion eats the cow.
("lion" "eats" "cow" "+")
int7