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