Charlie is cold. Charlie is not kind. Charlie is quiet. Charlie is smart. Charlie is white. Dave is nice. Erin is quiet. Erin is white. Fiona is quiet. Fiona is young. If Fiona is not nice then Fiona is white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is not nice then Fiona is white.
((("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "white" "+"))
Charlie is white.
True
1
proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Fiona is not young.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "young" "-")
triple10
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Fiona is quiet.[(triple9)] Fiona is young.[(triple10)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10