The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle likes the cow. The cow is round. The cow likes the rabbit. The cow sees the bald eagle. The cow sees the dog. The cow sees the rabbit. The dog is young. The dog likes the bald eagle. The rabbit eats the dog. The rabbit is cold. The rabbit is kind. The rabbit sees the bald eagle. Cold things are young. If something is young then it eats the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is young then it eats the bald eagle.
((("something" "is" "young" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The rabbit is young.
True
2
proof
[(((triple13) -> rule1))]
("rabbit" "is" "young" "+")
((triple13) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple13) -> rule1))]
("rabbit" "is" "young" "-")
((triple13) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cow eats the bald eagle.
Unknown
rconc
[@2: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow is round.[(triple5)] The cow likes the rabbit.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow sees the dog.[(triple8)] The cow sees the rabbit.[(triple9)] The dog is young.[(triple10)] The dog likes the bald eagle.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is kind.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The bald eagle is young.[(((triple1) -> rule1))] The dog eats the bald eagle.[(((triple10) -> rule2))] The rabbit is young.[(((triple13) -> rule1))] @2: The bald eagle eats the bald eagle.[(((((triple1) -> rule1)) -> rule2))] The rabbit eats the bald eagle.[(((((triple13) -> rule1)) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The cow sees the dog.
("cow" "sees" "dog" "+")
triple8
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple15
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple13) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2