Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Charlie is young. All white, red people are furry.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
All white, red people are furry.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple2 OR ((triple6 triple4) -> rule1))]
("Charlie" "is" "furry" "+")
triple2
((triple6 triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple6 triple4) -> rule1))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple6 triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7