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