Anne is blue. Anne is not cold. Anne is kind. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is not round. Charlie is not white. Round, young people are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Round, young people are furry.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Charlie is kind.
True
1
proof
[(triple10)]
("Charlie" "is" "kind" "+")
triple10
Anne is not white.
False
1
inv-proof
[(triple5)]
("Anne" "is" "white" "-")
triple5
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not cold.[(triple2)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Charlie is not round.[(triple11)] Charlie is not white.[(triple12)] @1: Anne is furry.[(((triple4 triple6) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is not round.
("Charlie" "is" "round" "-")
triple11
Charlie is not white.
("Charlie" "is" "white" "-")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple4 triple6) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1