Erin is round. Harry is not quiet. If something is round then it is green. All quiet things are nice. Round, quiet things are red.
Erin is round.
("Erin" "is" "round" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Round, quiet things are red.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Erin is round.
True
1
proof
[(triple1)]
("Erin" "is" "round" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple1)]
("Erin" "is" "round" "-")
triple1
Erin is green.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "green" "+")
((triple1) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "green" "-")
((triple1) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "red" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Erin is round.[(triple1)] Harry is not quiet.[(triple2)] @1: Erin is green.[(((triple1) -> rule1))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple2
Erin is green.
("Erin" "is" "green" "+")
((triple1) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1