Erin is young. Round, blue things are green. Green, kind things are young. All kind, blue things are nice. If Erin is round and Erin is kind then Erin is green. Young things are quiet. Kind, quiet things are green. All green things are blue. If something is green and young then it is quiet.
Erin is young.
("Erin" "is" "young" "+")
Round, blue things are green.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Green, kind things are young.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All kind, blue things are nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Erin is round and Erin is kind then Erin is green.
((("Erin" "is" "round" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "green" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Kind, quiet things are green.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is green and young then it is quiet.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Erin is young.
True
1
proof
[(triple1)]
("Erin" "is" "young" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple1)]
("Erin" "is" "young" "-")
triple1
Erin is quiet.
True
2
proof
[(((triple1) -> rule5))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is young.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule5))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1