Fiona is kind. Fiona is smart. Fiona is white. If someone is kind then they are smart. All white, kind people are red. If someone is white and not smart then they are not green. If someone is green then they are white. If someone is green and not kind then they are rough. If Fiona is not smart then Fiona is not red.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is kind then they are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All white, kind people are red.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is white and not smart then they are not green.
((("someone" "is" "white" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "green" "-"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is green and not kind then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If Fiona is not smart then Fiona is not red.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "red" "-"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule1))]
("Fiona" "is" "smart" "-")
triple2
((triple1) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Fiona is kind.[(triple1)] Fiona is smart.[(triple2 OR ((triple1) -> rule1))] Fiona is white.[(triple3)] @1: Fiona is red.[(((triple3 triple1) -> rule2))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
((triple1) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1