Bob is not green. Charlie is round. Erin is quiet. If something is cold and not round then it is blue. Quiet things are young.
Bob is not green.
("Bob" "is" "green" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If something is cold and not round then it is blue.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Bob is not green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Erin is young.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "young" "+")
((triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "young" "-")
((triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is not green.[(triple1)] Charlie is round.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is young.[(((triple3) -> rule2))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1