Bob is red. Harry is kind. Harry is rough. If Harry is white and Harry is red then Harry is kind. All round, white things are kind. Round, red things are rough.
Bob is red.
("Bob" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is white and Harry is red then Harry is kind.
((("Harry" "is" "white" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "kind" "+"))
All round, white things are kind.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Round, red things are rough.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Harry is not rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Bob is red.[(triple1)] Harry is kind.[(triple2)] Harry is rough.[(triple3)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3