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