Anne is young. Bob is green. Erin is red. All blue, nice people are green. If someone is nice then they are blue. All green people are young. If Erin is young and Erin is not blue then Erin is not quiet. If someone is furry and nice then they are red. Quiet people are furry. Furry people are not quiet. If someone is red and furry then they are quiet.
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
All blue, nice people are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Erin is young and Erin is not blue then Erin is not quiet.
((("Erin" "is" "young" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "quiet" "-"))
If someone is furry and nice then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Furry people are not quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
If someone is red and furry then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Erin is not red.
False
1
inv-proof
[(triple3)]
("Erin" "is" "red" "-")
triple3
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is young.[(triple1)] Bob is green.[(triple2)] Erin is red.[(triple3)] @1: Bob is young.[(((triple2) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1