Anne is green. Anne is quiet. Anne is white. Dave is kind. Dave is nice. Fiona is nice. Fiona is round. Fiona is white. Harry is round. Harry is not white. All green, kind things are not round. Rough, green things are round. If something is green then it is rough.
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
All green, kind things are not round.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "-"))
Rough, green things are round.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Harry is not white.
True
1
proof
[(triple10)]
("Harry" "is" "white" "-")
triple10
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Anne is rough.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Anne" "is" "round" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Harry is not white.[(triple10)] Harry is round.[(triple9)] @1: Anne is rough.[(((triple1) -> rule3))] @2: Anne is round.[(((((triple1) -> rule3) triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is not white.
("Harry" "is" "white" "-")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2