Anne is furry. Anne is kind. Anne is quiet. Anne is not red. Anne is round. Anne is not smart. Anne is white. Gary is furry. Gary is kind. Gary is quiet. Gary is not red. Gary is smart. If something is kind then it is round. If something is red and not round then it is white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is red and not round then it is white.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple12)]
("Gary" "is" "smart" "+")
triple12
Anne is not round.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule1))]
("Anne" "is" "round" "-")
triple5
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Gary is round.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "round" "+")
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "round" "-")
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is not red.[(triple4)] Anne is not smart.[(triple6)] Anne is quiet.[(triple3)] Anne is round.[(triple5 OR ((triple2) -> rule1))] Anne is white.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is smart.[(triple12)] @1: Gary is round.[(((triple9) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1