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