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