Anne is blue. Anne is red. Anne is white. Anne is young. Erin is quiet. Erin is white. Fiona is kind. Fiona is red. Fiona is white. Gary is blue. Gary is kind. Gary is young. If Erin is rough then Erin is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If Erin is rough then Erin is kind.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "kind" "+"))
Erin is quiet.
True
1
proof
[(triple5)]
("Erin" "is" "quiet" "+")
triple5
Fiona is not white.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "white" "-")
triple9
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12