Anne is green. Bob is not furry. Charlie is furry. Charlie is nice. Erin is green. Erin is not nice. Erin is rough. If something is furry and nice then it is not quiet. Rough, nice things are quiet. If something is nice and not young then it is green.
Anne is green.
("Anne" "is" "green" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is rough.
("Erin" "is" "rough" "+")
If something is furry and nice then it is not quiet.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "-"))
Rough, nice things are quiet.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is nice and not young then it is green.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
Bob is not furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "furry" "-")
triple3
Charlie is not quiet.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Charlie" "is" "quiet" "-")
((triple3 triple4) -> (rule1 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is quiet.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Charlie" "is" "quiet" "+")
((triple3 triple4) -> (rule1 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Anne is green.[(triple1)] Bob is not furry.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Erin is green.[(triple5)] Erin is not nice.[(triple6)] Erin is rough.[(triple7)] @1: Charlie is not quiet.[(((triple3 triple4) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is not nice.
("Erin" "is" "nice" "-")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((triple3 triple4) -> (rule1 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1