Erin is kind. Erin is not nice. Erin is quiet. Erin is red. Erin is white. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is kind. Gary is not quiet. Gary is red. Gary is rough. Gary is smart. If Gary is rough and Gary is not kind then Gary is not white. If someone is kind then they are not nice. If someone is white and not kind then they are nice. If Fiona is white then Fiona is quiet. All quiet, smart people are white. White, rough people are red.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is rough and Gary is not kind then Gary is not white.
((("Gary" "is" "rough" "+") ("Gary" "is" "kind" "~")) -> ("Gary" "is" "white" "-"))
If someone is kind then they are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
If someone is white and not kind then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
If Fiona is white then Fiona is quiet.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
All quiet, smart people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
White, rough people are red.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Erin is not nice.
True
1
proof
[(triple2 OR ((triple1) -> rule2))]
("Erin" "is" "nice" "-")
triple2
((triple1) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Gary is quiet.
False
1
inv-proof
[(triple13)]
("Gary" "is" "quiet" "+")
triple13
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is kind.[(triple1)] Erin is not nice.[(triple2 OR ((triple1) -> rule2))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple11) -> rule4))] Fiona is red.[(triple8 OR ((triple11 triple9) -> rule6) OR ((((triple7 triple10) -> rule5) triple9) -> rule6))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple7 triple10) -> rule5))] Gary is kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is not nice.[(((triple6) -> rule2))] Gary is not nice.[(((triple12) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
((triple1) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple11) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple11 triple9) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple7 triple10) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple7 triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple6) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((triple12) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1