Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is white. Anne is young. All kind people are big. Furry people are kind. If someone is kind then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Anne is nice.
True
1
proof
[(triple5)]
("Anne" "is" "nice" "+")
triple5
Anne is not big.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]
("Anne" "is" "big" "-")
triple1
((triple4) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
@0: Anne is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is furry.[(triple2 OR ((triple4) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple2) -> rule2))] Anne is nice.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7