Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is rough. Erin is white. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Dave is smart then Dave is white. If someone is white then they are young. Nice, young people are kind. If someone is white and nice then they are kind. White people are kind. Nice people are kind.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Dave is smart then Dave is white.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "white" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Nice, young people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is white and nice then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is rough.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3 OR ((triple2) -> rule1))] Dave is young.[(triple4 OR ((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Erin is rough.[(triple5)] Erin is white.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Dave is kind.[(((triple3) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] Erin is kind.[(((triple6) -> rule5))] Erin is young.[(((triple6) -> rule2))] Gary is kind.[(((triple10) -> rule5) OR ((triple7) -> rule6) OR ((triple10 triple7) -> rule4) OR ((triple7 ((triple10) -> rule2)) -> rule3))] Gary is young.[(((triple10) -> rule2))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple7) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple7 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1