Anne is not nice. Anne is not rough. Dave is round. Dave is young. Fiona is rough. Harry is round. Harry is not white. If something is white then it is round. If Harry is not white then Harry is blue. If something is kind and not nice then it is rough. All rough things are blue. If something is rough then it is kind. If something is white and not rough then it is young. Nice things are young. All kind things are not young.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
If something is white then it is round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If Harry is not white then Harry is blue.
((("Harry" "is" "white" "~")) -> ("Harry" "is" "blue" "+"))
If something is kind and not nice then it is rough.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "rough" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is white and not rough then it is young.
((("something" "is" "white" "+") ("something" "is" "rough" "~")) -> ("something" "is" "young" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
All kind things are not young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
Harry is round.
True
1
proof
[(triple6)]
("Harry" "is" "round" "+")
triple6
Anne is nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Fiona is blue.
True
2
proof
[(((triple5) -> rule4))]
("Fiona" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple5) -> rule5))]
("Fiona" "is" "kind" "-")
((triple5) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
True
3
proof
[(((((triple5) -> rule5)) -> rule8))]
("Fiona" "is" "young" "-")
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule8))]
("Fiona" "is" "young" "+")
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is not nice.[(triple1)] Anne is not rough.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4)] Fiona is rough.[(triple5)] Harry is not white.[(triple7)] Harry is round.[(triple6)] @1: Fiona is blue.[(((triple5) -> rule4))] Fiona is kind.[(((triple5) -> rule5))] Harry is blue.[(((triple7) -> rule2))] @2: Fiona is not young.[(((((triple5) -> rule5)) -> rule8))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Harry is not white.
("Harry" "is" "white" "-")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2