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