Anne is green. Anne is red. Anne is round. Anne is young. Bob is cold. Erin is not green. Erin is not nice. Young, cold people are not round. All nice, rough people are young. If Anne is green then Anne is young. Nice people are not rough. If someone is nice then they are green. If someone is cold and not green then they are red. If Bob is green then Bob is red. If Bob is not green and Bob is not round then Bob is not red.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Young, cold people are not round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "-"))
All nice, rough people are young.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Anne is green then Anne is young.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "young" "+"))
Nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not green then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "red" "+"))
If Bob is green then Bob is red.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "red" "+"))
If Bob is not green and Bob is not round then Bob is not red.
((("Bob" "is" "green" "~") ("Bob" "is" "round" "~")) -> ("Bob" "is" "red" "-"))
Erin is not nice.
True
1
proof
[(triple7)]
("Erin" "is" "nice" "-")
triple7
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule3))] Bob is cold.[(triple5)] Erin is not green.[(triple6)] Erin is not nice.[(triple7)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Erin is not green.
("Erin" "is" "green" "-")
triple6
Erin is not nice.
("Erin" "is" "nice" "-")
triple7