Charlie is furry. Dave is blue. Dave is quiet. Dave is red. Fiona is kind. Harry is blue. Harry is furry. If Charlie is quiet and Charlie is furry then Charlie is cold.
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Charlie is quiet and Charlie is furry then Charlie is cold.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "cold" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "kind" "-")
triple5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is furry.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Fiona is kind.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7