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