Dave is cold. Fiona is round. If Fiona is kind then Fiona is not young. Kind, cold people are not young. Cold people are kind. If Fiona is quiet then Fiona is kind. If Fiona is quiet then Fiona is not kind. If someone is young and not white then they are cold.
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is kind then Fiona is not young.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "young" "-"))
Kind, cold people are not young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is quiet then Fiona is kind.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is quiet then Fiona is not kind.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "-"))
If someone is young and not white then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple2)]
("Fiona" "is" "round" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Dave is kind.
True
2
proof
[(((triple1) -> rule3))]
("Dave" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple1) -> rule3))]
("Dave" "is" "kind" "-")
((triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not young.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Dave" "is" "young" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Dave" "is" "young" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "cold" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is cold.[(triple1)] Fiona is round.[(triple2)] @1: Dave is kind.[(((triple1) -> rule3))] @2: Dave is not young.[(((((triple1) -> rule3) triple1) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not young.
("Dave" "is" "young" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2