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