Anne is kind. Dave is blue. Dave is rough. Dave is white. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Harry is red. Harry is white. All blue people are young. If someone is red and blue then they are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Dave is not blue.
False
1
inv-proof
[(triple2)]
("Dave" "is" "blue" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is kind.[(triple1)] Dave is blue.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Dave is young.[(((triple2) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1