Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. White, round things are young. White, smart things are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
White, round things are young.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
White, smart things are green.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Anne is round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
@0: Anne is green.[(triple1 OR ((triple6 triple5) -> rule2))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple4) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple6 triple5) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple6 triple4) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1