Anne is red. Anne is not rough. Anne is young. Erin is green. Erin is red. Erin is rough. Erin is smart. Green, rough things are quiet. All green things are rough. If Anne is smart and Anne is green then Anne is quiet.
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Green, rough things are quiet.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If Anne is smart and Anne is green then Anne is quiet.
((("Anne" "is" "smart" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "quiet" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Erin is quiet.
True
3
proof
[(((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))]
("Erin" "is" "quiet" "+")
((triple4 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))]
("Erin" "is" "quiet" "-")
((triple4 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is not rough.[(triple2)] Anne is red.[(triple1)] Anne is young.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple4) -> rule2))] Erin is smart.[(triple7)] @1: Erin is quiet.[(((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))]
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2