Bob is not young. Erin is furry. Gary is not rough. If Erin is rough and Erin is not white then Erin is nice. If Erin is red and Erin is white then Erin is not nice. If Bob is young then Bob is nice. If someone is nice then they are not red. All furry people are red. All rough people are red.
Bob is not young.
("Bob" "is" "young" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
If Erin is rough and Erin is not white then Erin is nice.
((("Erin" "is" "rough" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "nice" "+"))
If Erin is red and Erin is white then Erin is not nice.
((("Erin" "is" "red" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "-"))
If Bob is young then Bob is nice.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "nice" "+"))
If someone is nice then they are not red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "-"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is not young.[(triple1)] Erin is furry.[(triple2)] Gary is not rough.[(triple3)] @1: Erin is red.[(((triple2) -> rule5))]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is not rough.
("Gary" "is" "rough" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1