Charlie is not smart. Fiona is kind. Gary is white. Smart people are not green. If someone is nice and smart then they are green. If Charlie is young and Charlie is nice then Charlie is cold. If someone is nice and cold then they are smart. If someone is young and green then they are smart. If someone is young then they are not white. If Fiona is smart and Fiona is not young then Fiona is kind. All cold people are kind.
Charlie is not smart.
("Charlie" "is" "smart" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart people are not green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "-"))
If someone is nice and smart then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If Charlie is young and Charlie is nice then Charlie is cold.
((("Charlie" "is" "young" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "cold" "+"))
If someone is nice and cold then they are smart.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is young and green then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are not white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If Fiona is smart and Fiona is not young then Fiona is kind.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "kind" "+"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is not smart.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)]
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3