Erin is not big. Erin is nice. Erin is not quiet. Erin is young. Fiona is big. Fiona is nice. Fiona is rough. If Fiona is rough then Fiona is quiet. If Erin is white and Erin is big then Erin is not young.
Erin is not big.
("Erin" "is" "big" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is rough then Fiona is quiet.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "quiet" "+"))
If Erin is white and Erin is big then Erin is not young.
((("Erin" "is" "white" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "young" "-"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Erin is not young.
False
1
inv-proof
[(triple4)]
("Erin" "is" "young" "-")
triple4
Fiona is quiet.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is nice.[(triple2)] Erin is not big.[(triple1)] Erin is not quiet.[(triple3)] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is quiet.[(((triple7) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1