The bear is cold. The bear is red. The bear visits the rabbit. The lion is red. The rabbit does not chase the tiger. The rabbit does not need the lion. The tiger needs the bear. If something is young then it needs the rabbit. If something is young and not round then it is blue. If something is young then it does not chase the tiger.
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The lion is red.
("lion" "is" "red" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If something is young then it needs the rabbit.
((("something" "is" "young" "+")) -> ("something" "needs" "rabbit" "+"))
If something is young and not round then it is blue.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
If something is young then it does not chase the tiger.
((("something" "is" "young" "+")) -> ("something" "chases" "tiger" "-"))
The lion is red.
True
1
proof
[(triple4)]
("lion" "is" "red" "+")
triple4
The bear is not red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "-")
triple2
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear visits the rabbit.[(triple3)] The lion is red.[(triple4)] The rabbit does not chase the tiger.[(triple5)] The rabbit does not need the lion.[(triple6)] The tiger needs the bear.[(triple7)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple5
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple6
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple7