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