Anne is blue. Anne is not kind. Anne is nice. Erin is blue. Erin is kind. Erin is not nice. Erin is rough. Harry is kind. Harry is nice. Harry is rough. Blue, nice people are young. Kind, smart people are young. If Anne is smart then Anne is young. If someone is quiet and not kind then they are rough. If someone is smart and not nice then they are not quiet. Young people are not quiet. All nice people are not quiet. If someone is rough and not nice then they are not smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Blue, nice people are young.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Kind, smart people are young.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Anne is smart then Anne is young.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "young" "+"))
If someone is quiet and not kind then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is smart and not nice then they are not quiet.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "quiet" "-"))
Young people are not quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
All nice people are not quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "-"))
If someone is rough and not nice then they are not smart.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "-"))
Erin is not nice.
True
1
proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Erin is not blue.
False
1
inv-proof
[(triple4)]
("Erin" "is" "blue" "-")
triple4
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is not nice.[(triple6)] Erin is rough.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Anne is not quiet.[(((triple3) -> rule7) OR ((((triple1 triple3) -> rule1)) -> rule6))] Anne is young.[(((triple1 triple3) -> rule1))] Erin is not smart.[(((triple7 triple6) -> rule8))] Harry is not quiet.[(((triple9) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not nice.
("Erin" "is" "nice" "-")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple3) -> (rule7 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
((triple7 triple6) -> (rule8 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple9) -> (rule7 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1