Bob is quiet. Bob is round. Charlie is blue. Charlie is cold. Charlie is not round. Gary is not blue. Gary is green. Gary is quiet. Gary is rough. Gary is white. All blue people are rough. If someone is green and not rough then they are round.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and not rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Gary is blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "+")
triple6
Charlie is rough.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not round.[(triple5)] Gary is green.[(triple7)] Gary is not blue.[(triple6)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Charlie is rough.[(((triple3) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is not round.
("Charlie" "is" "round" "-")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1