Charlie is smart. Charlie is young. Dave is cold. All red, young things are kind. If something is young and furry then it is nice.
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
All red, young things are kind.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is young and furry then it is nice.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Charlie is smart.
True
1
proof
[(triple1)]
("Charlie" "is" "smart" "+")
triple1
Dave is not cold.
False
1
inv-proof
[(triple3)]
("Dave" "is" "cold" "-")
triple3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is smart.[(triple1)] Charlie is young.[(triple2)] Dave is cold.[(triple3)]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3