Anne is quiet. Dave is blue. Dave is not smart. Erin is quiet. Erin is young. Gary is furry. Gary is young. Young people are blue. All blue, quiet people are smart. If someone is young and big then they are smart.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All blue, quiet people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is young and big then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Erin is young.
True
1
proof
[(triple5)]
("Erin" "is" "young" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Gary is blue.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "blue" "-")
((triple5) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
True
4
proof
[(((((triple5) -> rule1) triple4) -> rule2))]
("Erin" "is" "smart" "+")
((((triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((((triple5) -> rule1) triple4) -> rule2))]
("Erin" "is" "smart" "-")
((((triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Anne is not smart.
Unknown
inv-rconc
[@2: Anne is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is not smart.[(triple3)] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple6)] Gary is young.[(triple7)] @1: Erin is blue.[(((triple5) -> rule1))] Gary is blue.[(((triple7) -> rule1))] @2: Erin is smart.[(((((triple5) -> rule1) triple4) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is not smart.
("Dave" "is" "smart" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2