Anne is not furry. Anne is green. Anne is quiet. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is white. Fiona is young. If Anne is green then Anne is not furry. If someone is quiet and furry then they are kind. If someone is quiet then they are kind. All kind people are young. If Anne is furry then Anne is not green. If Fiona is young and Fiona is not green then Fiona is not white. If Anne is green and Anne is quiet then Anne is not red. If someone is white and not kind then they are not red.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Anne is green then Anne is not furry.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "furry" "-"))
If someone is quiet and furry then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet then they are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Anne is furry then Anne is not green.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "green" "-"))
If Fiona is young and Fiona is not green then Fiona is not white.
((("Fiona" "is" "young" "+") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "white" "-"))
If Anne is green and Anne is quiet then Anne is not red.
((("Anne" "is" "green" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "red" "-"))
If someone is white and not kind then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "red" "-"))
Fiona is quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule3))]
("Fiona" "is" "kind" "-")
triple6
((triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Anne is not red.
True
3
proof
[(((triple2 triple3) -> rule7))]
("Anne" "is" "red" "-")
((triple2 triple3) -> (rule7 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not kind.
False
2
inv-proof
[(((triple3) -> rule3))]
("Anne" "is" "kind" "-")
((triple3) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
True
3
proof
[(((((triple3) -> rule3)) -> rule4))]
("Anne" "is" "young" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not young.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule4))]
("Anne" "is" "young" "-")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1 OR ((triple2) -> rule1))] Anne is quiet.[(triple3)] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple7) -> rule3))] Fiona is not furry.[(triple4)] Fiona is not red.[(triple8)] Fiona is quiet.[(triple7)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple6) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] @1: Anne is kind.[(((triple3) -> rule3))] Anne is not red.[(((triple2 triple3) -> rule7))] @2: Anne is young.[(((((triple3) -> rule3)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
((triple2) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple4
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
((triple2 triple3) -> (rule7 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2