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