The bald eagle is round. The cat eats the tiger. The cat is nice. The cat does not see the bald eagle. The cat sees the rabbit. The rabbit chases the bald eagle. The rabbit is green. The rabbit is nice. The rabbit does not see the tiger. The tiger is round. If someone sees the rabbit then they are kind. If someone eats the cat and the cat is nice then the cat is cold. If someone is kind then they eat the rabbit. If someone sees the cat and they do not eat the cat then the cat sees the tiger. If someone sees the tiger then the tiger does not see the rabbit. If someone is kind and they chase the bald eagle then the bald eagle sees the rabbit. If someone eats the cat and the cat is round then the cat is green. If someone eats the rabbit and the rabbit is nice then they chase the bald eagle. If someone sees the bald eagle then the bald eagle is round.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
The tiger is round.
("tiger" "is" "round" "+")
If someone sees the rabbit then they are kind.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the cat and the cat is nice then the cat is cold.
((("someone" "eats" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "is" "cold" "+"))
If someone is kind then they eat the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone sees the cat and they do not eat the cat then the cat sees the tiger.
((("someone" "sees" "cat" "+") ("someone" "eats" "cat" "~")) -> ("cat" "sees" "tiger" "+"))
If someone sees the tiger then the tiger does not see the rabbit.
((("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "rabbit" "-"))
If someone is kind and they chase the bald eagle then the bald eagle sees the rabbit.
((("someone" "is" "kind" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone eats the cat and the cat is round then the cat is green.
((("someone" "eats" "cat" "+") ("cat" "is" "round" "+")) -> ("cat" "is" "green" "+"))
If someone eats the rabbit and the rabbit is nice then they chase the bald eagle.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle is round.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The cat eats the tiger.
True
1
proof
[(triple2)]
("cat" "eats" "tiger" "+")
triple2
The cat does not eat the tiger.
False
1
inv-proof
[(triple2)]
("cat" "eats" "tiger" "-")
triple2
The cat is kind.
True
2
proof
[(((triple5) -> rule1))]
("cat" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "is" "kind" "-")
((triple5) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat eats the rabbit.
True
3
proof
[(((((triple5) -> rule1)) -> rule3))]
("cat" "eats" "rabbit" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not eat the rabbit.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule3))]
("cat" "eats" "rabbit" "-")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat chases the bald eagle.
True
5
proof
[(((((((triple5) -> rule1)) -> rule3) triple8) -> rule8))]
("cat" "chases" "bald eagle" "+")
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat does not chase the bald eagle.
False
5
inv-proof
[(((((((triple5) -> rule1)) -> rule3) triple8) -> rule8))]
("cat" "chases" "bald eagle" "-")
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The bald eagle sees the rabbit.
True
8
proof
[(((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6))]
("bald eagle" "sees" "rabbit" "+")
((((triple5) -> (rule1 % int4)) ((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The bald eagle does not see the rabbit.
False
8
inv-proof
[(((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6))]
("bald eagle" "sees" "rabbit" "-")
((((triple5) -> (rule1 % int4)) ((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The bald eagle is kind.
True
9
proof
[(((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6)) -> rule1))]
("bald eagle" "is" "kind" "+")
((((((triple5) -> (rule1 % int5)) ((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The bald eagle is not kind.
False
9
inv-proof
[(((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6)) -> rule1))]
("bald eagle" "is" "kind" "-")
((((((triple5) -> (rule1 % int5)) ((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "cold" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "green" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The tiger is kind.
Unknown
rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "kind" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@2: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cat sees the tiger.
Unknown
rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "tiger" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The rabbit chases the cat.
Unknown
random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "+")
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The cat does not chase the rabbit.
Unknown
inv-random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The bald eagle is round.[(triple1)] The cat does not see the bald eagle.[(triple4)] The cat eats the tiger.[(triple2)] The cat is nice.[(triple3)] The cat sees the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit does not see the tiger.[(triple9)] The rabbit is green.[(triple7)] The rabbit is nice.[(triple8)] The tiger is round.[(triple10)] @1: The cat is kind.[(((triple5) -> rule1))] @2: The cat eats the rabbit.[(((((triple5) -> rule1)) -> rule3))] @3: The cat chases the bald eagle.[(((((((triple5) -> rule1)) -> rule3) triple8) -> rule8))] @4: The bald eagle sees the rabbit.[(((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6))] @5: The bald eagle is kind.[(((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6)) -> rule1))] @6: The bald eagle eats the rabbit.[(((((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6)) -> rule1)) -> rule3))] @7: The bald eagle chases the bald eagle.[(((((((((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule3) triple8) -> rule8)) -> rule6)) -> rule1)) -> rule3) triple8) -> rule8))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple4
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((((triple5) -> (rule1 % int4)) ((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((triple5) -> (rule1 % int5)) ((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
int5
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((((((((triple5) -> (rule1 % int6)) ((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is kind.
("cat" "is" "kind" "+")
int6
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple5) -> (rule1 % int7)) ((((((triple5) -> (rule1 % int7))) -> (rule3 % int6)) triple8) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
The cat is kind.
("cat" "is" "kind" "+")
int7