Dave is cold. Young, blue things are white. If Dave is quiet and Dave is blue then Dave is red. All round things are red.
Dave is cold.
("Dave" "is" "cold" "+")
Young, blue things are white.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Dave is quiet and Dave is blue then Dave is red.
((("Dave" "is" "quiet" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "red" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is cold.[(triple1)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1