Anne is blue. Anne is green. Anne is kind. Anne is not nice. Anne is quiet. Anne is rough. Bob is not blue. Bob is nice. Bob is rough. Fiona is nice. Harry is blue. Harry is green. Harry is kind. Harry is not nice. Harry is quiet. Harry is not round. Quiet, round things are blue. If something is quiet and not rough then it is kind. If Bob is not quiet then Bob is nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not round.
("Harry" "is" "round" "-")
Quiet, round things are blue.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and not rough then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
If Bob is not quiet then Bob is nice.
((("Bob" "is" "quiet" "~")) -> ("Bob" "is" "nice" "+"))
Anne is not nice.
True
1
proof
[(triple4)]
("Anne" "is" "nice" "-")
triple4
Anne is nice.
False
1
inv-proof
[(triple4)]
("Anne" "is" "nice" "+")
triple4
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not nice.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Bob is nice.[(triple8)] Bob is not blue.[(triple7)] Bob is rough.[(triple9)] Fiona is nice.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is not nice.[(triple14)] Harry is not round.[(triple16)] Harry is quiet.[(triple15)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not nice.
("Anne" "is" "nice" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is not blue.
("Bob" "is" "blue" "-")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is not round.
("Harry" "is" "round" "-")
triple16
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15