Anne is red. Dave is white. Erin is young. Gary is white. If Erin is red and Erin is smart then Erin is white. All blue things are white. If Erin is red then Erin is blue. Kind, young things are nice. If something is young and blue then it is smart. If something is smart and nice then it is kind. All blue, kind things are nice. Young things are smart.
Anne is red.
("Anne" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
If Erin is red and Erin is smart then Erin is white.
((("Erin" "is" "red" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "white" "+"))
All blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Erin is red then Erin is blue.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "blue" "+"))
Kind, young things are nice.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is young and blue then it is smart.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is smart and nice then it is kind.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All blue, kind things are nice.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is red.[(triple1)] Dave is white.[(triple2)] Erin is young.[(triple3)] Gary is white.[(triple4)] @1: Erin is smart.[(((triple3) -> rule8))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1