Anne is not nice. Anne is quiet. Anne is smart. All red, furry people are not quiet. Red people are quiet. All quiet, furry people are young. All smart people are furry. If someone is young and nice then they are not furry. All young people are not green.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
All red, furry people are not quiet.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, furry people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is young and nice then they are not furry.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
All young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
Anne is not nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Anne is nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Anne is furry.
True
2
proof
[(((triple3) -> rule4))]
("Anne" "is" "furry" "+")
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple3) -> rule4))]
("Anne" "is" "furry" "-")
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
True
4
proof
[(((triple2 ((triple3) -> rule4)) -> rule3))]
("Anne" "is" "young" "+")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not young.
False
4
inv-proof
[(((triple2 ((triple3) -> rule4)) -> rule3))]
("Anne" "is" "young" "-")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not green.
True
5
proof
[(((((triple2 ((triple3) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "green" "-")
((((triple2 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
False
5
inv-proof
[(((((triple2 ((triple3) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "green" "+")
((((triple2 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] @1: Anne is furry.[(((triple3) -> rule4))] @2: Anne is young.[(((triple2 ((triple3) -> rule4)) -> rule3))] @3: Anne is not green.[(((((triple2 ((triple3) -> rule4)) -> rule3)) -> rule6))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not green.
("Anne" "is" "green" "-")
((((triple2 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3