The bald eagle sees the dog. The dog does not need the lion. The lion eats the dog. The lion is green. The lion needs the bald eagle. The lion needs the tiger. The lion sees the tiger. The tiger is not cold. The tiger is nice. The tiger needs the lion. The tiger sees the dog. If something needs the dog then the dog eats the tiger. If something is green then it is round. If something is cold and it needs the tiger then it needs the lion. If something needs the bald eagle and the bald eagle sees the lion then it needs the lion. If something needs the lion and the lion eats the bald eagle then the lion sees the bald eagle. If something needs the bald eagle and it sees the bald eagle then the bald eagle sees the lion. If something is green and round then it eats the bald eagle. If something needs the tiger then it sees the dog. If something is big and it needs the bald eagle then it is nice.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something needs the dog then the dog eats the tiger.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is cold and it needs the tiger then it needs the lion.
((("something" "is" "cold" "+") ("something" "needs" "tiger" "+")) -> ("something" "needs" "lion" "+"))
If something needs the bald eagle and the bald eagle sees the lion then it needs the lion.
((("something" "needs" "bald eagle" "+") ("bald eagle" "sees" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something needs the lion and the lion eats the bald eagle then the lion sees the bald eagle.
((("something" "needs" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "sees" "bald eagle" "+"))
If something needs the bald eagle and it sees the bald eagle then the bald eagle sees the lion.
((("something" "needs" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If something is green and round then it eats the bald eagle.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "eats" "bald eagle" "+"))
If something needs the tiger then it sees the dog.
((("something" "needs" "tiger" "+")) -> ("something" "sees" "dog" "+"))
If something is big and it needs the bald eagle then it is nice.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
The lion is green.
True
1
proof
[(triple4)]
("lion" "is" "green" "+")
triple4
The lion does not need the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "needs" "bald eagle" "-")
triple5
The lion is round.
True
2
proof
[(((triple4) -> rule2))]
("lion" "is" "round" "+")
((triple4) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "is" "round" "-")
((triple4) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the bald eagle.
True
4
proof
[(((triple4 ((triple4) -> rule2)) -> rule7))]
("lion" "eats" "bald eagle" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion does not eat the bald eagle.
False
4
inv-proof
[(((triple4 ((triple4) -> rule2)) -> rule7))]
("lion" "eats" "bald eagle" "-")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion sees the bald eagle.
True
6
proof
[(((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5))]
("lion" "sees" "bald eagle" "+")
((triple10 ((triple4 ((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion does not see the bald eagle.
False
6
inv-proof
[(((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5))]
("lion" "sees" "bald eagle" "-")
((triple10 ((triple4 ((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The bald eagle sees the lion.
True
8
proof
[(((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6))]
("bald eagle" "sees" "lion" "+")
((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The bald eagle does not see the lion.
False
8
inv-proof
[(((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6))]
("bald eagle" "sees" "lion" "-")
((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The lion needs the lion.
True
10
proof
[(((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6)) -> rule4))]
("lion" "needs" "lion" "+")
((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The lion does not need the lion.
False
10
inv-proof
[(((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6)) -> rule4))]
("lion" "needs" "lion" "-")
((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The dog is nice.
Unknown
rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "is" "nice" "+")
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "sees" "dog" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "tiger" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "is" "nice" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog does not need the lion.[(triple2)] The lion eats the dog.[(triple3)] The lion is green.[(triple4)] The lion needs the bald eagle.[(triple5)] The lion needs the tiger.[(triple6)] The lion sees the tiger.[(triple7)] The tiger is nice.[(triple9)] The tiger is not cold.[(triple8)] The tiger needs the lion.[(triple10)] The tiger sees the dog.[(triple11)] @1: The lion is round.[(((triple4) -> rule2))] The lion sees the dog.[(((triple6) -> rule8))] @2: The lion eats the bald eagle.[(((triple4 ((triple4) -> rule2)) -> rule7))] @3: The lion sees the bald eagle.[(((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5))] @4: The bald eagle sees the lion.[(((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6))] @5: The lion needs the lion.[(((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule6)) -> rule4))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple2
The lion eats the dog.
("lion" "eats" "dog" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple6
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger is not cold.
("tiger" "is" "cold" "-")
triple8
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple10
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
((triple4) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple6) -> (rule8 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple10 ((triple4 ((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple5 ((triple5 ((triple10 ((triple4 ((triple4) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5