Fiona is cold. Fiona is not quiet. Fiona is not rough. Big people are cold. All cold people are big. Blue people are not rough. If Fiona is big and Fiona is blue then Fiona is green. If Fiona is big then Fiona is not green. If Fiona is not smart then Fiona is rough. If Fiona is not cold then Fiona is not rough. Rough people are quiet.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Blue people are not rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "-"))
If Fiona is big and Fiona is blue then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "green" "+"))
If Fiona is big then Fiona is not green.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "green" "-"))
If Fiona is not smart then Fiona is rough.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "rough" "+"))
If Fiona is not cold then Fiona is not rough.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "rough" "-"))
Rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Fiona is big.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "big" "-")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not green.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is cold.[(triple1)] Fiona is not quiet.[(triple2)] Fiona is not rough.[(triple3)] @1: Fiona is big.[(((triple1) -> rule2))] @2: Fiona is not green.[(((((triple1) -> rule2)) -> rule5))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2