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