Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. All quiet, round things are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
All quiet, round things are smart.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple11)]
("Dave" "is" "quiet" "-")
triple11
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple5) -> rule1))] Anne is young.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13 OR ((triple11 triple12) -> rule1))] Dave is young.[(triple14)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple4 triple5) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
((triple11 triple12) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple14