Anne is quiet. Harry is not quiet. Harry is white. If someone is kind then they are not quiet. If someone is kind and not cold then they are not quiet. If someone is white then they are green. Red people are white. If someone is kind and not cold then they are big. If someone is cold then they are red.
Anne is quiet.
("Anne" "is" "quiet" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is kind then they are not quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "-"))
If someone is kind and not cold then they are not quiet.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "quiet" "-"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and not cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "big" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Harry is not white.
False
1
inv-proof
[(triple3)]
("Harry" "is" "white" "-")
triple3
Harry is green.
True
2
proof
[(((triple3) -> rule3))]
("Harry" "is" "green" "+")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple3) -> rule3))]
("Harry" "is" "green" "-")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@3: Anne is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule6 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Harry is not quiet.[(triple2)] Harry is white.[(triple3)] @1: Harry is green.[(((triple3) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
((triple3) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1