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