Fiona is nice. Nice, red things are cold. Green, kind things are nice. If something is nice and green then it is not round. All green, cold things are kind. If Fiona is nice then Fiona is not white. If Fiona is green then Fiona is nice.
Fiona is nice.
("Fiona" "is" "nice" "+")
Nice, red things are cold.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Green, kind things are nice.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is nice and green then it is not round.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
All green, cold things are kind.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If Fiona is nice then Fiona is not white.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "white" "-"))
If Fiona is green then Fiona is nice.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is nice.
True
1
proof
[(triple1)]
("Fiona" "is" "nice" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "nice" "-")
triple1
Fiona is not white.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "white" "-")
((triple1) -> (rule5 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is white.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "white" "+")
((triple1) -> (rule5 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is nice.[(triple1)] @1: Fiona is not white.[(((triple1) -> rule5))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is not white.
("Fiona" "is" "white" "-")
((triple1) -> (rule5 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1