Anne is blue. Anne is smart. Fiona is white. Harry is blue. Harry is red. Harry is smart. Harry is white. If Harry is not cold then Harry is kind. Red things are not kind. If Anne is cold and Anne is not white then Anne is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is not cold then Harry is kind.
((("Harry" "is" "cold" "~")) -> ("Harry" "is" "kind" "+"))
Red things are not kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "-"))
If Anne is cold and Anne is not white then Anne is kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "white" "~")) -> ("Anne" "is" "kind" "+"))
Harry is blue.
True
1
proof
[(triple4)]
("Harry" "is" "blue" "+")
triple4
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Fiona is white.[(triple3)] Harry is blue.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Harry is not kind.[(((triple5) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
((triple5) -> (rule2 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1