Anne is kind. Anne is quiet. Fiona is blue. Fiona is smart. Gary is kind. Harry is blue. Harry is quiet. All green, kind things are smart. All quiet, kind things are red. All green, red things are rough.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All green, kind things are smart.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
All quiet, kind things are red.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All green, red things are rough.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Fiona is blue.[(triple3)] Fiona is smart.[(triple4)] Gary is kind.[(triple5)] Harry is blue.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is red.[(((triple2 triple1) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Anne is red.
("Anne" "is" "red" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1