Fiona is cold. Fiona is kind. Fiona is smart. If someone is cold and not quiet then they are not green. If Fiona is cold then Fiona is big.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is cold and not quiet then they are not green.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "green" "-"))
If Fiona is cold then Fiona is big.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
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 nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is big.[(((triple1) -> rule2))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1