The bald eagle is red. The bald eagle sees the lion. The bear is young. The bear visits the bald eagle. The cat needs the bear. The cat visits the lion. The lion is young. If something visits the cat then it needs the cat. If the bald eagle is kind then the bald eagle needs the cat. If something needs the bald eagle then the bald eagle is young. All red things are cold. If something needs the bear and the bear is nice then it is young. If something needs the bald eagle then the bald eagle visits the bear. If something needs the bear then the bear is nice. If something is cold then it sees the lion.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is young.
("lion" "is" "young" "+")
If something visits the cat then it needs the cat.
((("something" "visits" "cat" "+")) -> ("something" "needs" "cat" "+"))
If the bald eagle is kind then the bald eagle needs the cat.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something needs the bald eagle then the bald eagle is young.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something needs the bear and the bear is nice then it is young.
((("something" "needs" "bear" "+") ("bear" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something needs the bald eagle then the bald eagle visits the bear.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If something needs the bear then the bear is nice.
((("something" "needs" "bear" "+")) -> ("bear" "is" "nice" "+"))
If something is cold then it sees the lion.
((("something" "is" "cold" "+")) -> ("something" "sees" "lion" "+"))
The lion is young.
True
1
proof
[(triple7)]
("lion" "is" "young" "+")
triple7
The cat does not visit the lion.
False
1
inv-proof
[(triple6)]
("cat" "visits" "lion" "-")
triple6
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "cold" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle sees the lion.[(triple2 OR ((((triple1) -> rule4)) -> rule8))] The bear is young.[(triple3)] The bear visits the bald eagle.[(triple4)] The cat needs the bear.[(triple5)] The cat visits the lion.[(triple6)] The lion is young.[(triple7)] @1: The bald eagle is cold.[(((triple1) -> rule4))] The bear is nice.[(((triple5) -> rule7))] @2: The cat is young.[(((triple5 ((triple5) -> rule7)) -> rule5))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple4
The cat needs the bear.
("cat" "needs" "bear" "+")
triple5
The cat visits the lion.
("cat" "visits" "lion" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple5) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple5 ((triple5) -> (rule7 % int2))) -> (rule5 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2