Fiona is not cold. Fiona is quiet. Fiona is rough. All cold things are kind. If something is kind then it is cold. If something is kind and not green then it is rough. Rough things are smart. All green, cold things are quiet. All rough things are quiet.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is kind and not green then it is rough.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "rough" "+"))
Rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All green, cold things are quiet.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
All rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Fiona is not cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is not cold.[(triple1)] Fiona is quiet.[(triple2 OR ((triple3) -> rule6))] Fiona is rough.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule4))]
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
((triple3) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1