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