Anne is blue. Anne is red. Anne is white. Erin is nice. Erin is white. Fiona is blue. Fiona is smart. All nice people are smart. Quiet, red people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Quiet, red people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Fiona is smart.
True
1
proof
[(triple7)]
("Fiona" "is" "smart" "+")
triple7
Erin is not white.
False
1
inv-proof
[(triple5)]
("Erin" "is" "white" "-")
triple5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] @1: Erin is smart.[(((triple4) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1