Erin is blue. Erin is not green. Erin is not kind. Erin is quiet. Erin is smart. Erin is not white. Erin is not young. If someone is smart then they are blue. If Erin is green then Erin is quiet. If Erin is blue then Erin is quiet. If someone is green and quiet then they are kind. All blue, young people are kind. All blue people are not kind. If someone is kind and not quiet then they are white. White people are not young.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not white.
("Erin" "is" "white" "-")
Erin is not young.
("Erin" "is" "young" "-")
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If Erin is green then Erin is quiet.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "quiet" "+"))
If Erin is blue then Erin is quiet.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "quiet" "+"))
If someone is green and quiet then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All blue, young people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All blue people are not kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
If someone is kind and not quiet then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "+"))
White people are not young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "-"))
Erin is quiet.
True
1
proof
[(triple4 OR ((triple1) -> rule3) OR ((((triple5) -> rule1)) -> rule3))]
("Erin" "is" "quiet" "+")
triple4
((triple1) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not smart.
False
1
inv-proof
[(triple5)]
("Erin" "is" "smart" "-")
triple5
@0: Erin is blue.[(triple1 OR ((triple5) -> rule1))] Erin is not green.[(triple2)] Erin is not kind.[(triple3 OR ((triple1) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Erin is not white.[(triple6)] Erin is not young.[(triple7)] Erin is quiet.[(triple4 OR ((triple1) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Erin is smart.[(triple5)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple5) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
((triple1) -> (rule6 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not white.
("Erin" "is" "white" "-")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple1) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple5