Fiona is rough. All blue people are cold. If Fiona is blue and Fiona is quiet then Fiona is green. If someone is rough then they are green.
Fiona is rough.
("Fiona" "is" "rough" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is blue and Fiona is quiet then Fiona is green.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "green" "+"))
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "-")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is rough.[(triple1)] @1: Fiona is green.[(((triple1) -> rule3))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1