Erin is not quiet. Erin is round. Fiona is not big. Fiona is red. Fiona is rough. Fiona is not white. Fiona is young. Harry is round. Harry is white. Harry is young. If Harry is big then Harry is young.
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is big then Harry is young.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "young" "+"))
Fiona is not big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Fiona is not red.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "red" "-")
triple4
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is not quiet.[(triple1)] Erin is round.[(triple2)] Fiona is not big.[(triple3)] Fiona is not white.[(triple6)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple7)] Harry is round.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10