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