Erin is green. Harry is not quiet. Smart, rough things are not blue. Smart, blue things are rough. If something is cold and not rough then it is quiet. If something is green then it is round. Cold things are green. If something is smart and round then it is green. If Harry is rough and Harry is round then Harry is quiet. If something is smart and not rough then it is cold.
Erin is green.
("Erin" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Smart, rough things are not blue.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
Smart, blue things are rough.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is cold and not rough then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "rough" "~")) -> ("something" "is" "quiet" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is smart and round then it is green.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Harry is rough and Harry is round then Harry is quiet.
((("Harry" "is" "rough" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "quiet" "+"))
If something is smart and not rough then it is cold.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
Harry is not quiet.
True
1
proof
[(triple2)]
("Harry" "is" "quiet" "-")
triple2
Harry is quiet.
False
1
inv-proof
[(triple2)]
("Harry" "is" "quiet" "+")
triple2
Erin is round.
True
2
proof
[(((triple1) -> rule4))]
("Erin" "is" "round" "+")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule4))]
("Erin" "is" "round" "-")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "cold" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is green.[(triple1)] Harry is not quiet.[(triple2)] @1: Erin is round.[(((triple1) -> rule4))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple2
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1