Charlie is nice. Fiona is red. Harry is nice. Big things are kind. If Harry is blue and Harry is red then Harry is rough. All blue things are kind.
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If Harry is blue and Harry is red then Harry is rough.
((("Harry" "is" "blue" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "rough" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Charlie is nice.
True
1
proof
[(triple1)]
("Charlie" "is" "nice" "+")
triple1
Harry is not nice.
False
1
inv-proof
[(triple3)]
("Harry" "is" "nice" "-")
triple3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is nice.[(triple1)] Fiona is red.[(triple2)] Harry is nice.[(triple3)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Harry is nice.
("Harry" "is" "nice" "+")
triple3