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