Dave is green. Dave is rough. Dave is white. Dave is young. Erin is green. Erin is nice. Erin is smart. Erin is white. Erin is not young. Gary is green. Gary is nice. Gary is not red. Gary is rough. Gary is not smart. Gary is white. Gary is young. All smart, white things are nice. Red things are not white. Red things are white. All red, smart things are rough. If Gary is smart then Gary is rough. If Erin is rough and Erin is smart then Erin is nice. If Erin is green then Erin is rough. If Gary is not young and Gary is not red then Gary is white.
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All smart, white things are nice.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Red things are not white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "-"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All red, smart things are rough.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If Gary is smart then Gary is rough.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "rough" "+"))
If Erin is rough and Erin is smart then Erin is nice.
((("Erin" "is" "rough" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "nice" "+"))
If Erin is green then Erin is rough.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "rough" "+"))
If Gary is not young and Gary is not red then Gary is white.
((("Gary" "is" "young" "~") ("Gary" "is" "red" "~")) -> ("Gary" "is" "white" "+"))
Gary is white.
True
1
proof
[(triple15)]
("Gary" "is" "white" "+")
triple15
Gary is red.
False
1
inv-proof
[(triple12)]
("Gary" "is" "red" "+")
triple12
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6 OR ((triple7 triple8) -> rule1) OR ((((triple5) -> rule7) triple7) -> rule6))] Erin is not young.[(triple9)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is not red.[(triple12)] Gary is not smart.[(triple14)] Gary is rough.[(triple13)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Erin is rough.[(((triple5) -> rule7))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple7 triple8) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple5) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not young.
("Erin" "is" "young" "-")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not red.
("Gary" "is" "red" "-")
triple12
Gary is not smart.
("Gary" "is" "smart" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Erin is rough.
("Erin" "is" "rough" "+")
((triple5) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1