Bob is kind. Charlie is not kind. Fiona is green. Gary is kind. If Bob is white then Bob is round. If something is white then it is kind. All rough things are green. If something is white and kind then it is green. Kind, rough things are not white. All kind, blue things are not white. Kind things are rough. Kind things are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Bob is white then Bob is round.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "round" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is white and kind then it is green.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Kind, rough things are not white.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
All kind, blue things are not white.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "-"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Charlie is kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Bob is kind.[(triple1)] Charlie is not kind.[(triple2)] Fiona is green.[(triple3)] Gary is kind.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule8))] Bob is rough.[(((triple1) -> rule7))] Gary is quiet.[(((triple4) -> rule8))] Gary is rough.[(((triple4) -> rule7))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule3))] Bob is not white.[(((triple1 ((triple1) -> rule7)) -> rule5))] Gary is green.[(((((triple4) -> rule7)) -> rule3))] Gary is not white.[(((triple4 ((triple4) -> rule7)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple4) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple4) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not white.
("Bob" "is" "white" "-")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
((triple4 ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2