Fiona is big. Fiona is green. Fiona is round. If someone is young then they are big. If someone is red and white then they are round.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and white then they are round.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is round.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3