The bald eagle visits the lion. The dog is round. The dog does not need the lion. The dog visits the tiger. The lion is red. The tiger needs the bald eagle. The tiger does not visit the dog. If someone is blue and rough then they eat the bald eagle. If someone is red then they are round. If someone eats the dog then the dog is red. If someone visits the bald eagle then the bald eagle needs the dog. If the bald eagle needs the lion then the lion is nice. If someone is nice then they eat the dog. If someone is red then they are nice. If someone needs the bald eagle and they are not nice then they need the tiger. If someone is round and not rough then they need the tiger.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
If someone is blue and rough then they eat the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone eats the dog then the dog is red.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone visits the bald eagle then the bald eagle needs the dog.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If the bald eagle needs the lion then the lion is nice.
((("bald eagle" "needs" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone is nice then they eat the dog.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "dog" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the bald eagle and they are not nice then they need the tiger.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "nice" "~")) -> ("someone" "needs" "tiger" "+"))
If someone is round and not rough then they need the tiger.
((("someone" "is" "round" "+") ("someone" "is" "rough" "~")) -> ("someone" "needs" "tiger" "+"))
The tiger does not visit the dog.
True
1
proof
[(triple7)]
("tiger" "visits" "dog" "-")
triple7
The tiger visits the dog.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "dog" "+")
triple7
The lion is round.
True
2
proof
[(((triple5) -> rule2))]
("lion" "is" "round" "+")
((triple5) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple5) -> rule2))]
("lion" "is" "round" "-")
((triple5) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the dog.
True
3
proof
[(((((triple5) -> rule7)) -> rule6))]
("lion" "eats" "dog" "+")
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion does not eat the dog.
False
3
inv-proof
[(((((triple5) -> rule7)) -> rule6))]
("lion" "eats" "dog" "-")
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The dog is red.
True
4
proof
[(((((((triple5) -> rule7)) -> rule6)) -> rule3))]
("dog" "is" "red" "+")
((((((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog is not red.
False
4
inv-proof
[(((((((triple5) -> rule7)) -> rule6)) -> rule3))]
("dog" "is" "red" "-")
((((((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog is nice.
True
5
proof
[(((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7))]
("dog" "is" "nice" "+")
((((((((triple5) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog is not nice.
False
5
inv-proof
[(((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7))]
("dog" "is" "nice" "-")
((((((((triple5) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog eats the dog.
True
6
proof
[(((((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7)) -> rule6))]
("dog" "eats" "dog" "+")
((((((((((triple5) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The dog does not eat the dog.
False
6
inv-proof
[(((((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7)) -> rule6))]
("dog" "eats" "dog" "-")
((((((((((triple5) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The lion does not need the tiger.
Unknown
inv-rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "tiger" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The dog eats the bald eagle.
Unknown
rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "bald eagle" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle eats the dog.
Unknown
rconc
[@2: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The bald eagle does not eat the lion.
Unknown
inv-random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The lion does not need the bald eagle.
Unknown
inv-random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle visits the lion.[(triple1)] The dog does not need the lion.[(triple3)] The dog is round.[(triple2 OR ((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule2))] The dog visits the tiger.[(triple4)] The lion is red.[(triple5)] The tiger does not visit the dog.[(triple7)] The tiger needs the bald eagle.[(triple6)] @1: The lion is nice.[(((triple5) -> rule7))] The lion is round.[(((triple5) -> rule2))] @2: The lion eats the dog.[(((((triple5) -> rule7)) -> rule6))] @3: The dog is red.[(((((((triple5) -> rule7)) -> rule6)) -> rule3))] @4: The dog is nice.[(((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7))] @5: The dog eats the dog.[(((((((((((triple5) -> rule7)) -> rule6)) -> rule3)) -> rule7)) -> rule6))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple3
The dog is round.
("dog" "is" "round" "+")
triple2
((((((((triple5) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
triple7
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
((triple5) -> (rule7 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple5) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((((((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
((((((((triple5) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The dog eats the dog.
("dog" "eats" "dog" "+")
((((((((((triple5) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion eats the dog.
("lion" "eats" "dog" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5