Anne is nice. Fiona is nice. Gary is not red. Harry is furry. If someone is red then they are kind. Furry people are not kind. If someone is quiet then they are nice. If Harry is quiet then Harry is young. If Harry is quiet then Harry is nice. If someone is young and not quiet then they are furry. If someone is nice and not quiet then they are not furry. If someone is kind then they are red.
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Harry is furry.
("Harry" "is" "furry" "+")
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Furry people are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If Harry is quiet then Harry is young.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "young" "+"))
If Harry is quiet then Harry is nice.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "nice" "+"))
If someone is young and not quiet then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
If someone is nice and not quiet then they are not furry.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "-"))
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is nice.[(triple1)] Fiona is nice.[(triple2)] Gary is not red.[(triple3)] Harry is furry.[(triple4)] @1: Harry is not kind.[(((triple4) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is not red.
("Gary" "is" "red" "-")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is not kind.
("Harry" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1