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