Fiona is red. If Fiona is red then Fiona is white. If Fiona is red and Fiona is green then Fiona is rough. If someone is green then they are white. If someone is rough and smart then they are quiet. Smart people are rough. If someone is smart then they are rough. Red, smart people are white. If someone is smart then they are red.
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is red then Fiona is white.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "white" "+"))
If Fiona is red and Fiona is green then Fiona is rough.
((("Fiona" "is" "red" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "rough" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is rough and smart then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Red, smart people are white.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is red.[(triple1)] @1: Fiona is white.[(((triple1) -> rule1))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1