The bald eagle chases the dog. The bald eagle is green. The bald eagle is kind. The bald eagle likes the dog. The bald eagle likes the lion. The bald eagle visits the dog. The dog chases the bald eagle. The dog is round. The lion is young. The lion likes the dog. If someone is young and round then they visit the lion. If someone likes the bald eagle and the bald eagle chases the dog then the dog is nice. If someone is nice then they visit the dog. If someone likes the dog then the dog likes the bald eagle. If someone chases the bald eagle and they like the lion then the bald eagle likes the dog. If someone is round and they visit the dog then they like the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is round.
("dog" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
If someone is young and round then they visit the lion.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "visits" "lion" "+"))
If someone likes the bald eagle and the bald eagle chases the dog then the dog is nice.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "chases" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone is nice then they visit the dog.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "dog" "+"))
If someone likes the dog then the dog likes the bald eagle.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone chases the bald eagle and they like the lion then the bald eagle likes the dog.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "lion" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone is round and they visit the dog then they like the dog.
((("someone" "is" "round" "+") ("someone" "visits" "dog" "+")) -> ("someone" "likes" "dog" "+"))
The bald eagle is kind.
True
1
proof
[(triple3)]
("bald eagle" "is" "kind" "+")
triple3
The bald eagle does not visit the dog.
False
1
inv-proof
[(triple6)]
("bald eagle" "visits" "dog" "-")
triple6
The dog likes the bald eagle.
True
2
proof
[(((triple10) -> rule4) OR ((triple4) -> rule4))]
("dog" "likes" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog does not like the bald eagle.
False
2
inv-proof
[(((triple10) -> rule4) OR ((triple4) -> rule4))]
("dog" "likes" "bald eagle" "-")
((triple10) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is nice.
True
4
proof
[(((((triple10) -> rule4) triple1) -> rule2) OR ((((triple4) -> rule4) triple1) -> rule2))]
("dog" "is" "nice" "+")
((((triple10) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple10) -> rule4) triple1) -> rule2) OR ((((triple4) -> rule4) triple1) -> rule2))]
("dog" "is" "nice" "-")
((((triple10) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog visits the dog.
True
5
proof
[(((((((triple10) -> rule4) triple1) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3))]
("dog" "visits" "dog" "+")
((((((triple10) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
((((((triple4) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog does not visit the dog.
False
5
inv-proof
[(((((((triple10) -> rule4) triple1) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3))]
("dog" "visits" "dog" "-")
((((((triple10) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
((((((triple4) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The lion does not visit the dog.
Unknown
inv-rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "dog" "-")
The dog visits the lion.
Unknown
rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "lion" "+")
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "lion" "+")
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 dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
The lion does not like the bald eagle.
Unknown
inv-random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "-")
The lion chases the dog.
Unknown
random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is round.[(triple8)] The lion is young.[(triple9)] The lion likes the dog.[(triple10)] @1: The dog likes the bald eagle.[(((triple10) -> rule4) OR ((triple4) -> rule4))] @2: The dog is nice.[(((((triple10) -> rule4) triple1) -> rule2) OR ((((triple4) -> rule4) triple1) -> rule2))] @3: The dog visits the dog.[(((((((triple10) -> rule4) triple1) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3))] @4: The dog likes the dog.[(((triple8 ((((((triple10) -> rule4) triple1) -> rule2)) -> rule3)) -> rule6) OR ((triple8 ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3)) -> rule6))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The lion is young.
("lion" "is" "young" "+")
triple9
The lion likes the dog.
("lion" "likes" "dog" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple10) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple4) -> (rule4 % int2)) triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
((((((triple10) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
((((((triple4) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple8 ((((((triple10) -> (rule4 % int4)) triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4
((triple8 ((((((triple4) -> (rule4 % int4)) triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4