Charlie is young. Fiona is big. Fiona is not cold. Fiona is kind. Fiona is quiet. Fiona is not white. Fiona is young. White things are not kind. If something is cold and not young then it is rough.
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
White things are not kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "-"))
If something is cold and not young then it is rough.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
Fiona is not cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is young.[(triple1)] Fiona is big.[(triple2)] Fiona is kind.[(triple4)] Fiona is not cold.[(triple3)] Fiona is not white.[(triple6)] Fiona is quiet.[(triple5)] Fiona is young.[(triple7)]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7