Dave is not cold. Dave is quiet. Fiona is blue. Fiona is cold. Harry is kind. Harry is not quiet. Harry is young. Kind things are white. If something is cold then it is kind.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is young.
("Harry" "is" "young" "+")
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Fiona is blue.
True
1
proof
[(triple3)]
("Fiona" "is" "blue" "+")
triple3
Harry is quiet.
False
1
inv-proof
[(triple6)]
("Harry" "is" "quiet" "+")
triple6
Harry is white.
True
2
proof
[(((triple5) -> rule1))]
("Harry" "is" "white" "+")
((triple5) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is white.
Unknown
rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is not cold.[(triple1)] Dave is quiet.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Harry is kind.[(triple5)] Harry is not quiet.[(triple6)] Harry is young.[(triple7)] @1: Fiona is kind.[(((triple4) -> rule2))] Harry is white.[(((triple5) -> rule1))] @2: Fiona is white.[(((((triple4) -> rule2)) -> rule1))]
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple5) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2