Anne is rough. Anne is smart. Anne is white. Erin is nice. Erin is red. Erin is rough. Erin is white. All nice, young people are smart. If Anne is young and Anne is kind then Anne is white.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
All nice, young people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If Anne is young and Anne is kind then Anne is white.
((("Anne" "is" "young" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7