Dave is quiet. Fiona is not quiet. Gary is round. Harry is quiet. If someone is furry then they are cold. All furry, nice people are cold. If someone is nice then they are not cold. All white, nice people are round. All cold people are not round. All white people are quiet. If Gary is not quiet and Gary is not furry then Gary is round. If Fiona is not quiet then Fiona is round.
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
All furry, nice people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are not cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
All white, nice people are round.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All cold people are not round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "-"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is not quiet and Gary is not furry then Gary is round.
((("Gary" "is" "quiet" "~") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "round" "+"))
If Fiona is not quiet then Fiona is round.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "round" "+"))
Harry is quiet.
True
1
proof
[(triple4)]
("Harry" "is" "quiet" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is quiet.[(triple1)] Fiona is not quiet.[(triple2)] Gary is round.[(triple3)] Harry is quiet.[(triple4)] @1: Fiona is round.[(((triple2) -> rule8))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1