The bald eagle is red. The bald eagle visits the cow. The cat chases the bald eagle. The cat is kind. The cat likes the bald eagle. The cat likes the cow. The cat likes the rabbit. The cow is blue. The cow is red. The cow does not visit the cat. The rabbit chases the cow. The rabbit is blue. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the cat. The rabbit likes the cow. If the cat visits the bald eagle and the cat does not like the bald eagle then the cat does not like the cow. If someone chases the rabbit then the rabbit visits the cat. If someone is green then they chase the bald eagle. If the bald eagle is kind and the bald eagle is cold then the bald eagle likes the cat. If the cat is red then the cat is kind. If someone is kind then they like the rabbit. If someone visits the cat then they visit the bald eagle. If someone visits the bald eagle then they are kind. If someone is kind then they chase the rabbit.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the cat visits the bald eagle and the cat does not like the bald eagle then the cat does not like the cow.
((("cat" "visits" "bald eagle" "+") ("cat" "likes" "bald eagle" "~")) -> ("cat" "likes" "cow" "-"))
If someone chases the rabbit then the rabbit visits the cat.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "visits" "cat" "+"))
If someone is green then they chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the bald eagle is kind and the bald eagle is cold then the bald eagle likes the cat.
((("bald eagle" "is" "kind" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "cat" "+"))
If the cat is red then the cat is kind.
((("cat" "is" "red" "+")) -> ("cat" "is" "kind" "+"))
If someone is kind then they like the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone visits the cat then they visit the bald eagle.
((("someone" "visits" "cat" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle then they are kind.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they chase the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
The rabbit likes the cow.
True
1
proof
[(triple16)]
("rabbit" "likes" "cow" "+")
triple16
The rabbit does not chase the cow.
False
1
inv-proof
[(triple11)]
("rabbit" "chases" "cow" "-")
triple11
The cat chases the rabbit.
True
2
proof
[(((triple4) -> rule9))]
("cat" "chases" "rabbit" "+")
((triple4) -> (rule9 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat does not chase the rabbit.
False
2
inv-proof
[(((triple4) -> rule9))]
("cat" "chases" "rabbit" "-")
((triple4) -> (rule9 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit visits the cat.
True
3
proof
[(((((triple4) -> rule9)) -> rule2))]
("rabbit" "visits" "cat" "+")
((((triple4) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit does not visit the cat.
False
3
inv-proof
[(((((triple4) -> rule9)) -> rule2))]
("rabbit" "visits" "cat" "-")
((((triple4) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit visits the bald eagle.
True
4
proof
[(((((((triple4) -> rule9)) -> rule2)) -> rule7))]
("rabbit" "visits" "bald eagle" "+")
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
The rabbit does not visit the bald eagle.
False
4
inv-proof
[(((((((triple4) -> rule9)) -> rule2)) -> rule7))]
("rabbit" "visits" "bald eagle" "-")
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
The rabbit is kind.
True
5
proof
[(((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8))]
("rabbit" "is" "kind" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
The rabbit is not kind.
False
5
inv-proof
[(((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8))]
("rabbit" "is" "kind" "-")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
The rabbit likes the rabbit.
True
6
proof
[(((((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8)) -> rule6))]
("rabbit" "likes" "rabbit" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int5
The rabbit does not like the rabbit.
False
6
inv-proof
[(((((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8)) -> rule6))]
("rabbit" "likes" "rabbit" "-")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int5
The cow does not chase the rabbit.
Unknown
inv-rconc
[@3: The cow chases the rabbit.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule7 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The cat visits the bald eagle.
Unknown
rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "visits" "bald eagle" "+")
The cow is not kind.
Unknown
inv-rconc
[@2: The cow is kind.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("cow" "is" "kind" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not chase the rabbit.
Unknown
inv-rconc
[@3: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule7 <- FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The cow visits the bald eagle.
Unknown
rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "visits" "bald eagle" "+")
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The cat visits the cow.
Unknown
random
[@0: The cat visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cow" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle visits the cow.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat is kind.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the cow.[(triple6)] The cat likes the rabbit.[(triple7 OR ((triple4) -> rule6))] The cow does not visit the cat.[(triple10)] The cow is blue.[(triple8)] The cow is red.[(triple9)] The rabbit chases the cow.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The cat chases the rabbit.[(((triple4) -> rule9))] @2: The rabbit visits the cat.[(((((triple4) -> rule9)) -> rule2))] @3: The rabbit visits the bald eagle.[(((((((triple4) -> rule9)) -> rule2)) -> rule7))] @4: The rabbit is kind.[(((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8))] @5: The rabbit chases the rabbit.[(((((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8)) -> rule9))] The rabbit likes the rabbit.[(((((((((((triple4) -> rule9)) -> rule2)) -> rule7)) -> rule8)) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The cat likes the cow.
("cat" "likes" "cow" "+")
triple6
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple7
((triple4) -> (rule6 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple10
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is red.
("cow" "is" "red" "+")
triple9
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple4) -> (rule9 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((((triple4) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int5
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int5