Anne is smart. Erin is quiet. Gary is quiet. All furry, round things are quiet. If something is smart then it is quiet. All young things are red. If something is red and quiet then it is young. All smart things are not young. If something is smart and not furry then it is young. If Gary is young and Gary is blue then Gary is quiet. Quiet things are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All furry, round things are quiet.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is smart then it is quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is red and quiet then it is young.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All smart things are not young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "-"))
If something is smart and not furry then it is young.
((("something" "is" "smart" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "+"))
If Gary is young and Gary is blue then Gary is quiet.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "quiet" "+"))
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is smart.[(triple1)] Erin is quiet.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is not young.[(((triple1) -> rule5))] Anne is quiet.[(((triple1) -> rule2))] Erin is smart.[(((triple2) -> rule8))] Gary is smart.[(((triple3) -> rule8))] @2: Erin is not young.[(((((triple2) -> rule8)) -> rule5))] Gary is not young.[(((((triple3) -> rule8)) -> rule5))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Anne is not young.
("Anne" "is" "young" "-")
((triple1) -> (rule5 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple2) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Gary is not young.
("Gary" "is" "young" "-")
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2