Anne is kind. Fiona is young. Gary is furry. Harry is kind. All kind things are white. If Anne is not young then Anne is white.
Anne is kind.
("Anne" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Anne is not young then Anne is white.
((("Anne" "is" "young" "~")) -> ("Anne" "is" "white" "+"))
Harry is kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Harry is white.
True
2
proof
[(((triple4) -> rule1))]
("Harry" "is" "white" "+")
((triple4) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is kind.[(triple1)] Fiona is young.[(triple2)] Gary is furry.[(triple3)] Harry is kind.[(triple4)] @1: Anne is white.[(((triple1) -> rule1))] Harry is white.[(((triple4) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple4) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1