Charlie is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. Gary is cold. Gary is green. Gary is kind. Gary is smart. Gary is white. If someone is green and furry then they are kind. All furry people are green. If someone is quiet and not green then they are cold. Quiet, furry people are smart. Smart people are not quiet. If Fiona is furry and Fiona is not kind then Fiona is not smart.
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is green and furry then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet and not green then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
Quiet, furry people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Smart people are not quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "-"))
If Fiona is furry and Fiona is not kind then Fiona is not smart.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "smart" "-"))
Fiona is green.
True
1
proof
[(triple3)]
("Fiona" "is" "green" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is smart.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is not quiet.[(((triple1) -> rule5))] Gary is not quiet.[(((triple9) -> rule5))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((triple1) -> (rule5 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple9) -> (rule5 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1