Dave is nice. Dave is quiet. Erin is rough. Erin is not smart. Harry is not blue. Harry is not red. Harry is smart. If Erin is rough then Erin is blue. If something is white then it is blue. If something is white and rough then it is not quiet. All blue things are not white. All nice things are red. If something is nice and not blue then it is smart. White, blue things are smart. If Erin is red and Erin is not blue then Erin is smart.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Erin is rough then Erin is blue.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "blue" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is white and rough then it is not quiet.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
All blue things are not white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "-"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is nice and not blue then it is smart.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "+"))
White, blue things are smart.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Erin is red and Erin is not blue then Erin is smart.
((("Erin" "is" "red" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "smart" "+"))
Harry is not blue.
True
1
proof
[(triple5)]
("Harry" "is" "blue" "-")
triple5
Harry is not smart.
False
1
inv-proof
[(triple7)]
("Harry" "is" "smart" "-")
triple7
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Erin is not smart.[(triple4)] Erin is rough.[(triple3)] Harry is not blue.[(triple5)] Harry is not red.[(triple6)] Harry is smart.[(triple7)] @1: Dave is red.[(((triple1) -> rule5))] Erin is blue.[(((triple3) -> rule1))] @2: Erin is not white.[(((((triple3) -> rule1)) -> rule4))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Harry is not blue.
("Harry" "is" "blue" "-")
triple5
Harry is not red.
("Harry" "is" "red" "-")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not white.
("Erin" "is" "white" "-")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2